Skip to content

Commit

Permalink
Add miri builder
Browse files Browse the repository at this point in the history
This adds a builder to run `cargo miri` in order to check for certain
classes of undefined behavior.
  • Loading branch information
erickt committed Feb 4, 2022
1 parent 10ee11e commit e62a0d4
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -93,3 +93,18 @@ jobs:
components: clippy
- run: cargo clippy

miri:
runs-on: ubuntu-latest
strategy:
matrix:
rust:
- nightly
steps:
- uses: actions/checkout@v2
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: ${{ matrix.rust }}
override: true
components: miri
- run: cargo miri test

0 comments on commit e62a0d4

Please sign in to comment.