chore: workflows config change

valory-xyz · Oct 31, 2024 · 272de48 · 272de48
1 parent 96b82a8
commit 272de48
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/workflow.yaml b/.github/workflows/workflow.yaml
@@ -10,6 +10,8 @@ jobs:
     continue-on-error: False
     runs-on: macos-latest
     concurrency: 1
+    env:
+      PROPTEST_MAX_SHRINK_ITERS: 1000
     steps:
       - name: Checkout repository and submodules
         uses: actions/checkout@v3