Skip to content

Commit

Permalink
Setup cross toolchain for miri
Browse files Browse the repository at this point in the history
  • Loading branch information
DaniPopes committed Aug 28, 2023
1 parent c892422 commit 460fe21
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -64,6 +64,10 @@ jobs:
- uses: dtolnay/rust-toolchain@miri
with:
target: ${{ matrix.target }}
- uses: taiki-e/setup-cross-toolchain-action@v1
with:
target: ${{ matrix.target }}

- run: cargo miri setup --target ${{ matrix.target }} ${{ matrix.flags }}
- run: cargo miri test --target ${{ matrix.target }} ${{ matrix.flags }}

Expand Down

0 comments on commit 460fe21

Please sign in to comment.