Skip to content

Commit

Permalink
ci: add MIRI_LEAK_CHECK=1 on ci
Browse files Browse the repository at this point in the history
  • Loading branch information
driftluo committed Jan 24, 2025
1 parent 6b528c3 commit 89aa41b
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions ci/miri.sh
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,12 @@ case "${group}" in
-p crossbeam-channel 2>&1 | ts -i '%.s '
# -Zmiri-ignore-leaks is needed because we use detached threads in tests in tests/golang.rs: https://github.com/rust-lang/miri/issues/1371
MIRIFLAGS="${MIRIFLAGS} -Zmiri-ignore-leaks" \
<<<<<<< HEAD
cargo miri test --all-features \
=======
MIRI_LEAK_CHECK='1' \
cargo miri test \
>>>>>>> e70cddb (ci: add MIRI_LEAK_CHECK=1 on ci)
-p crossbeam-channel --test golang 2>&1 | ts -i '%.s '
;;
others)
Expand Down

0 comments on commit 89aa41b

Please sign in to comment.