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 757adee
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ci/miri.sh
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ case "${group}" in
cargo miri test --all-features \
-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" \
MIRI_LEAK_CHECK='1' MIRIFLAGS="${MIRIFLAGS} -Zmiri-ignore-leaks" \
cargo miri test --all-features \
-p crossbeam-channel --test golang 2>&1 | ts -i '%.s '
;;
Expand Down

0 comments on commit 757adee

Please sign in to comment.