ci: miri test

snormore · May 5, 2024 · dda8100 · dda8100
1 parent 4c3bda6
commit dda8100
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -44,3 +44,22 @@ 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
+
+      - name: Run cargo miri test
+        uses: actions-rs/cargo@v1
+        with:
+          command: miri test