From e426fb9c2a55af0a0c307d0934c6bde0a57dd544 Mon Sep 17 00:00:00 2001
From: SamClercky <SamClercky@users.noreply.github.com>
Date: Thu, 29 Feb 2024 14:53:27 +0100
Subject: [PATCH] add miri testing in CI

---
 .github/workflows/rust.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 8b76359..ddf2594 100644
--- 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: