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!
jonhoo · Apr 10, 2020 · 65ed212 · 65ed212
1 parent dcb5a1c
commit 65ed212
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -57,11 +57,7 @@ jobs:
            - miri
      - script: cargo miri setup
        displayName: cargo miri setup
-     # ignore leaks due to
-     # https://github.com/crossbeam-rs/crossbeam/issues/464
-     # which is
-     # https://github.com/rust-lang/miri/issues/940
-     - script: cargo miri -Zmiri-ignore-leaks test
+     - script: cargo miri test
        displayName: cargo miri test
  - job: asan
    dependsOn: deny