Skip to content

Commit

Permalink
Add Miri workflow.
Browse files Browse the repository at this point in the history
  • Loading branch information
gendx committed Sep 17, 2024
1 parent 1d31a27 commit 795cd09
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions .github/workflows/miri.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
on: [push, pull_request]
name: Miri tests
jobs:
miri:
runs-on: ubuntu-latest
env:
RUSTFLAGS: "-D warnings"
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@nightly
with:
components: miri

- name: Run miri tests (default features)
run: cargo miri test --all

0 comments on commit 795cd09

Please sign in to comment.