diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 70499f5..07aedac 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -76,7 +76,7 @@ jobs: - name: Run tests with miri env: MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance - run: cargo miri test --all --verbose --features fancy-no-syscall + run: cargo miri test --all --verbose minimal_versions: name: Minimal versions check