Closed aobatact closed 1 month ago
PR #371 is failing in the CI due to the utilization of the removed MIRI flag -Zmiri-check-number-validity. This PR remove the flag from CI.
-Zmiri-check-number-validity
See for https://github.com/rust-lang/miri/pull/2151 the removal.
Thanks @aobatact!
PR #371 is failing in the CI due to the utilization of the removed MIRI flag
-Zmiri-check-number-validity
. This PR remove the flag from CI.See for https://github.com/rust-lang/miri/pull/2151 the removal.