Skip to content

Miri tests

Miri tests #1775

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:
pre_job:
runs-on: ubuntu-latest
outputs:
should_skip: ${{ steps.skip_check.outputs.should_skip }}
steps:
- id: skip_check
# https://github.com/marketplace/actions/skip-duplicate-actions
uses: fkirc/skip-duplicate-actions@v5
with:
concurrent_skipping: 'same_content'
do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]'
test:
needs: pre_job
if: needs.pre_job.outputs.should_skip != 'true'
runs-on: ubuntu-latest
steps:
- name: Checkout Moka
uses: actions/checkout@v4
- name: Install Rust nightly toolchain with Miri
uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly
components: miri
- run: cargo miri setup
- name: Run Miri test on deque module using tree borrows
run: cargo miri test deque --features 'sync, future'
env:
MIRIFLAGS: '-Zmiri-tree-borrows'
- name: Run Miri test on timer_wheel module using tree borrows
run: cargo miri test timer_wheel --features 'sync, future'
env:
MIRIFLAGS: '-Zmiri-tree-borrows'
- name: Run Miri test on deque module using stacked borrows
run: cargo miri test deque --features 'sync, future'
- name: Run Miri test on timer_wheel module using stacked borrows
run: cargo miri test timer_wheel --features 'sync, future'