aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIvan Molodetskikh <yalterz@gmail.com>2025-01-26 09:38:57 +0300
committerIvan Molodetskikh <yalterz@gmail.com>2025-01-26 09:39:04 +0300
commitf0d935dee1ec6a9410c9c7d315ea4f52d1569518 (patch)
tree52e4af8cf4d028892e6438bb91d8ebc512d50f63
parent314b82caa0a049a0fa334d412bff89cc43d20a22 (diff)
downloadniri-f0d935dee1ec6a9410c9c7d315ea4f52d1569518.tar.gz
niri-f0d935dee1ec6a9410c9c7d315ea4f52d1569518.tar.bz2
niri-f0d935dee1ec6a9410c9c7d315ea4f52d1569518.zip
CI: Further reduce the number of proptest cases
-rw-r--r--.github/workflows/ci.yml8
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