name: Test
on:
push:
pull_request:
branches:
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v5
- name: Run tests
run: cargo test
miri:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v5
- name: Install Miri
run: |
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
- name: Run Miri tests
run: |
export MIRIFLAGS="-Zmiri-disable-isolation"
cargo miri test