run even more tests under miri

droundy · Feb 7, 2022 · d2528f1 · d2528f1
1 parent 661fddf
commit d2528f1
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -58,8 +58,10 @@ jobs:
         run: cargo miri test check_sets
       - name: miri test check_specific_sets
         run: cargo miri test check_specific_sets
-      # - name: miri test test_
-      #   run: cargo miri test test_
+      - name: miri test test_
+        run: cargo miri test test_
+      - name: miri test fits_
+        run: cargo miri test fits_
 
   windows-test: