Skip to content

Commit

Permalink
+ miri check
Browse files Browse the repository at this point in the history
  • Loading branch information
oluceps committed Nov 21, 2024
1 parent bfca291 commit 0384424
Showing 1 changed file with 20 additions and 0 deletions.
20 changes: 20 additions & 0 deletions .github/workflows/miri.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
name: miri check
on:
pull_request:
branches: ["*"]
paths-ignore:
- 'docs/**'
- '**/*.md'
jobs:
miri:
name: Miri
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install Miri
run: |
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
- name: Test with Miri
run: cargo miri test

0 comments on commit 0384424

Please sign in to comment.