Skip to content

Commit d2f3944

Browse files
committed
Right way to pass -Zmiri flags?
1 parent 7bd22c6 commit d2f3944

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

azure-pipelines.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ jobs:
4141
rust: nightly
4242
components:
4343
- miri
44-
- bash: yes | env RUSTFLAGS="-Zmiri-ignore-leaks" cargo miri test
44+
- bash: yes | cargo miri -Zmiri-ignore-leaks test
4545
displayName: cargo miri test
4646
- job: asan
4747
dependsOn: deny

0 commit comments

Comments
 (0)