ci: remove PROPTEST_CASES from miri (tokio-rs#5478)

This option doesn't do anything anymore.
amab8901 · Feb 27, 2023 · eb2f0db · eb2f0db
1 parent 4af4da3
commit eb2f0db
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -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