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: