Merge pull request #28 from nickbabcock/miri

Add miri to ci
nickbabcock · Dec 10, 2023 · ada5bfe · ada5bfe
2 parents 7852c5e + 63d66e2
commit ada5bfe
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -94,6 +94,13 @@ jobs:
       if: matrix.build == 'stable'
       run: cargo bench --verbose --no-run $TARGET
 
+    - name: Run miri
+      if: matrix.build == 'nightly'
+      run: |
+        rustup toolchain install nightly --component miri
+        cargo miri setup
+        cargo miri test
+
     - name: Compile fuzz
       if: matrix.build == 'nightly'
       run: |