fix/ci-deep (#233)

* chore: update ci-deep to have default input values when running in cron * chore: update fuzzruns from 100k to 10k
AngleProtocol · Dec 14, 2023 · 21fe959 · 21fe959
1 parent 4031529
commit 21fe959
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci-deep.yml b/.github/workflows/ci-deep.yml
@@ -6,7 +6,7 @@ on:
   workflow_dispatch:
     inputs:
       fuzzRuns:
-        default: "100000"
+        default: "10000"
         description: "Unit: number of fuzz runs."
         required: false
 
@@ -148,7 +148,7 @@ jobs:
           ETH_NODE_URI_POLYGON: ${{ secrets.ETH_NODE_URI_POLYGON }}
           ETH_NODE_URI_GOERLI: ${{ secrets.ETH_NODE_URI_GOERLI }}
           ETH_NODE_URI_FANTOM: ${{ secrets.ETH_NODE_URI_FANTOM }}
-          FOUNDRY_FUZZ_RUNS: ${{ github.event.inputs.fuzzRuns }}
+          FOUNDRY_FUZZ_RUNS: ${{ github.event.inputs.fuzzRuns || '10000' }}
 
       - name: "Add test summary"
         run: |