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