Skip to content

Replace triomphe::Arc with our own MiniArc type #265

Replace triomphe::Arc with our own MiniArc type

Replace triomphe::Arc with our own MiniArc type #265

Workflow file for this run

name: Miri tests
on:
push:
paths-ignore:
- '.devcontainer/**'
- '.gitpod.yml'
- '.vscode/**'
- 'tests/**'
pull_request:
paths-ignore:
- '.devcontainer/**'
- '.gitpod.yml'
- '.vscode/**'
- 'tests/**'
schedule:
# Run against the last commit on the default branch on Friday at 9pm (UTC?)
- cron: '0 21 * * 5'
jobs:
test:
runs-on: ubuntu-latest
steps:
- name: Checkout Mini Moka
uses: actions/checkout@v4
- name: Install Rust nightly toolchain with Miri
uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly
components: miri
- run: cargo clean
- name: Run Miri test on arc module using tree borrows
run: cargo miri test arc
env:
MIRIFLAGS: '-Zmiri-tree-borrows'
- name: Run Miri test on deque module using tree borrows
run: cargo miri test deque
env:
MIRIFLAGS: '-Zmiri-tree-borrows'
- name: Run Miri test on arc module using stacked borrows
run: cargo miri test arc
- name: Run Miri test on deque module using stacked borrows
run: cargo miri test deque