Run tests with Miri instead

fizyk20 · Mar 28, 2023 · 18487f3 · 18487f3
1 parent 1188b89
commit 18487f3
Showing 1 changed file with 7 additions and 11 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -14,19 +14,15 @@ jobs:
         uses: actions/checkout@v3
 
       - name: Install Rust
-        uses: dtolnay/rust-toolchain@stable
-
-      - name: Build
-        run: cargo build
+        uses: dtolnay/rust-toolchain@nightly
 
-      - name: Test
-        run: cargo test
-
-      - name: Build (all features)
-        run: cargo build --all-features
+      - name: Install Miri
+        run: |
+          rustup toolchain install nightly --component miri
+          cargo miri setup
 
-      - name: Test (all features)
-        run: cargo test --all-features
+      - name: Test with Miri
+        run: cargo miri test --all-features
 
   deploy_docs:
     name: Deploy documentation