diff options
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 887b32f7..5e7c98a3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -80,10 +80,10 @@ jobs: env: RUST_BACKTRACE: 1 - PROPTEST_CASES: 200000 - PROPTEST_MAX_LOCAL_REJECTS: 200000 - PROPTEST_MAX_GLOBAL_REJECTS: 200000 - PROPTEST_MAX_SHRINK_ITERS: 200000 + PROPTEST_CASES: 20000 + PROPTEST_MAX_LOCAL_REJECTS: 20000 + PROPTEST_MAX_GLOBAL_REJECTS: 20000 + PROPTEST_MAX_SHRINK_ITERS: 20000 steps: - uses: actions/checkout@v4 |