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 · May 6, 2020 · 0abc0bc · 0abc0bc
1 parent 0188b21
commit 0abc0bc
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