include all features in miri

KodrAus · Jun 6, 2024 · cbcf02d · cbcf02d
1 parent a0e90bb
commit cbcf02d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/core.yml b/.github/workflows/core.yml
@@ -65,6 +65,10 @@ jobs:
         working-directory: ./core
         run: cargo +nightly miri test --lib
 
+      - name: All features
+        working-directory: ./core
+        run: cargo +nightly miri test --lib --all-features
+
       - name: No features
         working-directory: ./core
         run: cargo +nightly miri test --lib --no-default-features