Commit Graph

2 Commits

Author SHA1 Message Date
Martin Habovstiak f99847d6ec Do not enable `soft-float` when running `miri`
To ensure that all target features are tested we simply enable all of
them. However some of them are problematic. We already have an exception
to not enable `crt-static`. This change also adds `soft-float` to the
list because `miri` was warning about it being UB.
2025-02-14 13:56:37 +01:00
Martin Habovstiak bd8ad1f5e2 Add basic `miri` checks
We have a bit of `unsafe` code in the crates which should really be
checked with `miri`. Thus this adds a basic CI check that automatically
determines which crates need `miri` checking and checks them. It also
makes sure to enable all target features so that SIMD code can be
checked as well.
2024-09-08 20:24:00 +02:00