Skip to content

Commit

Permalink
Fix Miri action
Browse files Browse the repository at this point in the history
  • Loading branch information
akoshelev committed Jan 19, 2024
1 parent 11f756a commit e95bc42
Showing 1 changed file with 10 additions and 2 deletions.
12 changes: 10 additions & 2 deletions .github/workflows/check.yml
Original file line number Diff line number Diff line change
Expand Up @@ -161,8 +161,16 @@ jobs:
run: rustup component add rust-src miri
- name: Run tests with sanitizer
run: RUSTFLAGS="-Z sanitizer=${{ matrix.sanitizer }} -Z sanitizer-memory-track-origins" cargo test -Z build-std --target $TARGET --no-default-features --features "cli web-app real-world-infra test-fixture descriptive-gate ${{ matrix.features }}"
- name: Run seq_join tests with Miri
run: cargo test --target $TARGET --lib seq_join --features "multi-threading"

miri:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: dtolnay/rust-toolchain@nightly
- name: Add Miri
run: rustup component add miri
- name: Run seq_join tests with Miri
run: cargo miri test --target $TARGET --lib seq_join --features "multi-threading"

coverage:
name: Measure coverage
Expand Down

0 comments on commit e95bc42

Please sign in to comment.