Skip to content

Commit

Permalink
chore: update ci-deep to have default input values when running in cr…
Browse files Browse the repository at this point in the history
…on (#101)
  • Loading branch information
0xtekgrinder authored Dec 4, 2023
1 parent bae123f commit dac0723
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/ci-deep.yml
Original file line number Diff line number Diff line change
Expand Up @@ -119,8 +119,8 @@ jobs:
- name: Run Foundry tests
run: yarn test:invariant
env:
FOUNDRY_INVARIANT_RUNS: ${{ github.event.inputs.invariantRuns }}
FOUNDRY_INVARIANT_DEPTH: ${{ github.event.inputs.invariantDepth }}
FOUNDRY_INVARIANT_RUNS: ${{ github.event.inputs.invariantRuns || '300' }}
FOUNDRY_INVARIANT_DEPTH: ${{ github.event.inputs.invariantDepth || '50' }}

test-fuzz:
needs: ["build", "lint"]
Expand All @@ -146,4 +146,4 @@ jobs:
- name: Run Foundry tests
run: yarn test:fuzz
env:
FOUNDRY_FUZZ_RUNS: ${{ github.event.inputs.fuzzRuns }}
FOUNDRY_FUZZ_RUNS: ${{ github.event.inputs.fuzzRuns || '100000' }}

0 comments on commit dac0723

Please sign in to comment.