Skip to content
Push check

ci: do not skip stacked borrows miri test #2

Sign in to view logs

ci: do not skip stacked borrows miri test

ci: do not skip stacked borrows miri test #2

Workflow file for this run

.github/workflows/push-check.yml at ab97296
name: Push check
on:
push
jobs:
msrv-check:
name: Minimal supported version check
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Install Rust toolchain
uses: dtolnay/rust-toolchain@1.64
- run: cargo check --tests --examples
miri-test:
name: Miri test
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Install Rust toolchain
uses: dtolnay/rust-toolchain@nightly
with:
components: miri
- name: Stacked borrows
run: cargo miri test
- name: Tree borrows
run: cargo miri test
env:
MIRIFLAGS: -Zmiri-tree-borrows