Skip to content

Commit

Permalink
ci: clean up miri config
Browse files Browse the repository at this point in the history
  • Loading branch information
heeckhau committed Jan 15, 2025
1 parent 313cf44 commit 2e90b7f
Showing 1 changed file with 15 additions and 11 deletions.
26 changes: 15 additions & 11 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -62,19 +62,23 @@ jobs:

miri:
if: ( ! github.event.pull_request.draft )
name: "Miri"
name: "Test with Miri"
runs-on: ubuntu-latest
strategy:
matrix:
target: [x86_64-unknown-linux-gnu, aarch64-unknown-linux-gnu]
steps:
- uses: actions/checkout@v4

- name: Install Miri
- name: Install Rust nightly with Miri
uses: dtolnay/rust-toolchain@stable
with:
toolchain: nightly
components: miri

- uses: Swatinem/[email protected]

- name: Test with Miri on ${{ matrix.target }}
run: |
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
- name: Test with Miri on x86_64
run: cargo miri test -p clmul -p matrix-transpose --target x86_64-unknown-linux-gnu

- name: Test with Miri on aarch64
run: cargo miri test -p clmul -p matrix-transpose --target aarch64-unknown-linux-gnu
cargo version --verbose
cargo miri test -p clmul -p matrix-transpose --target ${{ matrix.target }}

0 comments on commit 2e90b7f

Please sign in to comment.