Merge pull request #1 from snormore/snor/ci-miri-test

ci: miri test
snormore · May 5, 2024 · a53c4be · a53c4be
2 parents 4c3bda6 + c25e739
commit a53c4be
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -44,3 +44,24 @@ jobs:
         uses: actions-rs/cargo@v1
         with:
           command: test
+
+  miri:
+    name: Miri
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v2
+
+      - name: Install nightly toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: nightly
+          override: true
+          components: miri
+
+      - name: Run cargo miri test
+        uses: actions-rs/cargo@v1
+        with:
+          command: miri
+          args: test