diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 8b9ab50..add8b7e 100644 --- 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