diff --git a/ci-test.sh b/ci-test.sh index 6f8c558..d0bc2d6 100644 --- a/ci-test.sh +++ b/ci-test.sh @@ -82,7 +82,8 @@ simd) cd $MIRI_LIB_SRC/portable-simd echo "::group::Testing portable-simd" - MIRIFLAGS="$DEFAULTFLAGS" \ + # FIXME: disabling float non-determinism due to . + MIRIFLAGS="$DEFAULTFLAGS -Zmiri-deterministic-floats" \ cargo miri test --lib --tests -- --skip ptr \ 2>&1 | ts -i '%.s ' # This contains some pointer tests that do int/ptr casts, so we need permissive provenance. diff --git a/rust-version b/rust-version index 1aba604..94c57af 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -nightly-2025-06-09 +nightly-2025-06-14