Skip to content

Commit 65ed212

Browse files
committed
Stop ignoring miri leaks
Now that rust-lang/miri#940 has been fixed, and has landed in nightly (rust-lang/rust#70897), we should be able to run miri with leak check enabled again!
1 parent dcb5a1c commit 65ed212

File tree

1 file changed

+1
-5
lines changed

1 file changed

+1
-5
lines changed

azure-pipelines.yml

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -57,11 +57,7 @@ jobs:
5757
- miri
5858
- script: cargo miri setup
5959
displayName: cargo miri setup
60-
# ignore leaks due to
61-
# https://github.com/crossbeam-rs/crossbeam/issues/464
62-
# which is
63-
# https://github.com/rust-lang/miri/issues/940
64-
- script: cargo miri -Zmiri-ignore-leaks test
60+
- script: cargo miri test
6561
displayName: cargo miri test
6662
- job: asan
6763
dependsOn: deny

0 commit comments

Comments
 (0)