run Miri on CI

seanmonstar · Mar 29, 2022 · 58ebf11 · 58ebf11
1 parent 2ec151d
commit 58ebf11
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,6 +16,7 @@ jobs:
       - test
       - simd
       - msrv
+      - miri
     steps:
       - run: exit 0
 
@@ -127,3 +128,22 @@ jobs:
         uses: actions-rs/cargo@v1
         with:
           command: build
+
+  miri:
+    name: Test with Miri
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v1
+
+      - name: Install Rust
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: nightly
+          components: miri
+          override: true
+
+      - name: Test
+        run: MIRIFLAGS="-Zmiri-tag-raw-pointers -Zmiri-check-number-validity" cargo miri test