From a0b2e97550e313fea1f45a610f8712bdceea0127 Mon Sep 17 00:00:00 2001 From: 0xtekgrinder <72015889+0xtekgrinder@users.noreply.github.com> Date: Mon, 11 Dec 2023 08:54:29 -0500 Subject: [PATCH] chore: update fuzzruns from 100k to 10k (#13) Co-authored-by: Pablo Veyrat <50438397+sogipec@users.noreply.github.com> --- .github/workflows/ci-deep.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci-deep.yml b/.github/workflows/ci-deep.yml index 26f4ecb..a75ce1b 100644 --- a/.github/workflows/ci-deep.yml +++ b/.github/workflows/ci-deep.yml @@ -9,7 +9,7 @@ on: workflow_dispatch: inputs: fuzzRuns: - default: "100000" + default: "10000" description: "Unit: number of fuzz runs." required: false invariantRuns: @@ -165,7 +165,7 @@ jobs: - name: Run Foundry tests run: yarn test:fuzz env: - FOUNDRY_FUZZ_RUNS: ${{ inputs.fuzzRuns || '100000' }} + FOUNDRY_FUZZ_RUNS: ${{ inputs.fuzzRuns || '10000' }} ETH_NODE_URI_POLYGON: ${{ secrets.ETH_NODE_URI_POLYGON }} ETH_NODE_URI_ARBITRUM: ${{ secrets.ETH_NODE_URI_ARBITRUM }} ETH_NODE_URI_OPTIMISM: ${{ secrets.ETH_NODE_URI_OPTIMISM }}