tokio-rs/tokio
1
0
Fork 0
mirror of https://github.com/tokio-rs/tokio.git synced 2026-08-19 00:00:09 +02:00
Code Issues Packages Projects Releases Wiki Activity

ci: remove PROPTEST_CASES from miri (#5478)

Browse Source 
This option doesn't do anything anymore.
This commit is contained in:
Alice Ryhl
2023-02-19 11:11:22 +00:00
committed by GitHub
parent 2e7f996f17
commit 0f17d69303
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/ci.yml
-1
View File
@@ -209,7 +209,6 @@ jobs:
working-directory: tokio
env:
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields
PROPTEST_CASES: 10
asan:
name: asan