name: Miri
on:
schedule:
- cron: '0 6 * * *' # daily at 6am UTC
workflow_dispatch: # allow manual trigger
env:
CARGO_TERM_COLOR: always
jobs:
miri:
name: Miri
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
- uses: dtolnay/rust-toolchain@nightly
with:
components: miri
- name: Cache cargo
uses: actions/cache@v5
with:
path: |
~/.cargo/registry
~/.cargo/git
target
key: ${{ runner.os }}-cargo-miri-${{ hashFiles('**/Cargo.lock') }}
- name: Run Miri on unit tests
run: cargo +nightly miri test --lib
env:
MIRIFLAGS: -Zmiri-disable-isolation