|
@@ -86,8 +86,7 @@ jobs:
|
|
|
|
|
|
# working-directory: tokio
|
|
|
env:
|
|
|
- # todo: disable memory leaks ignore
|
|
|
- MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields -Zmiri-ignore-leaks
|
|
|
+ MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields
|
|
|
PROPTEST_CASES: 10
|
|
|
|
|
|
# Cache the global cargo directory, but NOT the local `target` directory which
|