diff --git a/github/workflows/miri.yml b/github/workflows/miri.yml new file mode 100644 index 0000000..e79ab42 --- /dev/null +++ b/github/workflows/miri.yml @@ -0,0 +1,25 @@ +on: + push: + branches: [main] + pull_request: +name: Miri +jobs: + test: + runs-on: ubuntu-latest + steps: + - run: | + echo "NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)" >> $GITHUB_ENV + - uses: actions-rs/toolchain@v1 + with: + profile: minimal + toolchain: ${{ env.NIGHTLY }} + override: true + components: miri + - uses: actions/checkout@v2 + - name: cargo miri test + uses: actions-rs/cargo@v1 + with: + command: miri + args: test + env: + MIRIFLAGS: "-Zmiri-tag-raw-pointers"