Skip to content

Commit

Permalink
ci: Test with cargo-careful and ThreadSanitizer
Browse files Browse the repository at this point in the history
  • Loading branch information
bluss committed Mar 9, 2024
1 parent a0bf1bb commit 29f3d1c
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -151,6 +151,19 @@ jobs:
MMTEST_FAST_TEST: 1
RUSTFLAGS: -Copt-level=2

cargo-careful:
runs-on: ubuntu-latest
name: cargo-careful
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly
- uses: Swatinem/rust-cache@v2
- name: Install cargo-careful
run: cargo install cargo-careful
- run: cargo careful test -Zcareful-sanitizer=thread --features=threading,cgemm

miri:
runs-on: ubuntu-latest
steps:
Expand Down

0 comments on commit 29f3d1c

Please sign in to comment.