diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 07aedac..7ab9326 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 + run: cargo miri test --all --verbose --features fancy minimal_versions: name: Minimal versions check