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 5e7c98a3..9326d8bf 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -80,10 +80,10 @@ jobs: env: RUST_BACKTRACE: 1 - PROPTEST_CASES: 20000 - PROPTEST_MAX_LOCAL_REJECTS: 20000 - PROPTEST_MAX_GLOBAL_REJECTS: 20000 - PROPTEST_MAX_SHRINK_ITERS: 20000 + PROPTEST_CASES: 5000 + PROPTEST_MAX_LOCAL_REJECTS: 5000 + PROPTEST_MAX_GLOBAL_REJECTS: 5000 + PROPTEST_MAX_SHRINK_ITERS: 5000 steps: - uses: actions/checkout@v4 |