add miri testing in CI

thvdveld · Feb 29, 2024 · e426fb9 · e426fb9
1 parent 6a17072
commit e426fb9
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -11,18 +11,22 @@ env:
 
 jobs:
   build:
-
     runs-on: ubuntu-latest
 
     steps:
     - uses: actions/checkout@v3
+    - name: Install Miri
+      run: |
+        rustup toolchain install nightly --component miri
+        cargo +nightly miri setup
     - name: Build
       run: cargo build --verbose
     - name: Run tests
       run: cargo test --verbose
+    - name: Run Miri on sync
+      run: cargo +nightly miri test -p dot15d4 sync
 
   clippy:
-
     runs-on: ubuntu-latest
 
     steps: