add miri test workflow action

starkat99 · Jun 21, 2022 · 10990cc · 10990cc
1 parent 624b1d7
commit 10990cc
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -54,3 +54,23 @@ jobs:
       with:
         command: make
         args: ci-flow
+  miri:
+    name: Miri
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Install Rust toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: nightly
+          override: true
+          components: miri
+      - name: Run Miri
+        uses: actions-rs/cargo@v1
+        with:
+          command: miri
+          args: test
+        env:
+          MIRIFLAGS: -Zmiri-strict-provenance