Nightly Fuzz #70
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Nightly Fuzz | |
| on: | |
| # Run deep fuzzing outside normal PR latency budgets. | |
| schedule: | |
| - cron: "0 2 * * *" | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: nightly-fuzz-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| fuzz: | |
| name: Deep Fuzz and Invariants | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 45 | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| persist-credentials: false | |
| submodules: recursive | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| with: | |
| version: "1.5.1" | |
| - name: Run deep fuzz tests | |
| run: forge test --fuzz-runs 10000 --invariant-runs 1000 -vvv |