Make sure we pass Miri without the nightly feature too

andylokandy · Oct 3, 2024 · f50a3e4 · f50a3e4
1 parent 0024f03
commit f50a3e4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,4 +54,6 @@ jobs:
           rustup override set nightly
           cargo miri setup
       - name: Test with Miri
-        run: cargo miri test --features nightly
+        run: |
+          cargo miri test
+          cargo miri test --features nightly