Skip to content

Commit

Permalink
ci: add miri
Browse files Browse the repository at this point in the history
  • Loading branch information
Boshen committed Dec 14, 2024
1 parent fede8dc commit a395d05
Showing 1 changed file with 43 additions and 0 deletions.
43 changes: 43 additions & 0 deletions .github/workflows/miri.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
name: Miri

on:
workflow_dispatch:
pull_request:
types: [opened, synchronize]
paths:
- "src/**/*.rs"
- "tests/**/*.rs"
- ".github/workflows/miri.yml"
push:
branches:
- main
paths:
- "src/**/*.rs"
- "tests/**/*.rs"
- ".github/workflows/miri.yml"

concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
cancel-in-progress: true

jobs:
miri:
name: Miri
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: taiki-e/checkout-action@b13d20b7cda4e2f325ef19895128f7ff735c0b3d # v1.3.1

- uses: oxc-project/setup-rust@cd82e1efec7fef815e2c23d296756f31c7cdc03d # v1.0.0
with:
cache-key: miri
save-cache: ${{ github.ref_name == 'main' }}

- name: Install Miri
run: |
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
- name: Run Miri
run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test

0 comments on commit a395d05

Please sign in to comment.