thingbuf/.github/workflows/miri.yaml

on:
  push:
    branches:
      - main
    paths:
      - '**.rs'
      - '.github/workflows/miri.yml'
  workflow_dispatch:
  pull_request:
    paths:
      - '**.rs'
      - '.github/workflows/miri.yml'

name: Miri
jobs:
  tests:
    name: Miri tests
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - name: Install nightly toolchain
        uses: actions-rs/toolchain@v1
        with:
          profile: minimal
          toolchain: nightly
          override: true
          components: miri
      - name: Run Miri tests
        run: cargo miri test --lib --no-fail-fast
        env:
          MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-tag-raw-pointers