From c25e739a26e9f660084613d05a66dcefd88afff2 Mon Sep 17 00:00:00 2001 From: Steven Normore Date: Sun, 5 May 2024 08:26:33 -0400 Subject: [PATCH] ci: miri test --- .github/workflows/tests.yml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) 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