name: Miri
on:
push:
branches:
pull_request:
branches:
env:
CARGO_TERM_COLOR: always
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install nightly toolchain
run: rustup toolchain add nightly
- name: Install miri
run: rustup component add miri --toolchain nightly
- name: Run Miri
run: MIRIFLAGS=-Zmiri-disable-isolation cargo +nightly miri test --all-features