Merge pull request #223 from MontrealAI/codex/create-mainnet-html-art… #554
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: Security Verification | |
| on: | |
| pull_request: | |
| push: | |
| branches: [main] | |
| jobs: | |
| security-verification: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 75 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Setup Node.js | |
| uses: actions/setup-node@v4 | |
| with: | |
| node-version: 20 | |
| cache: npm | |
| - name: Install Node dependencies | |
| run: npm ci | |
| - name: Setup Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| with: | |
| version: stable | |
| - name: Forge format check | |
| run: forge fmt --check forge-test/**/*.sol contracts/test/MaliciousCompletionReceiver.sol | |
| - name: Forge build | |
| run: FOUNDRY_PROFILE=ci forge build | |
| - name: Forge security unit + fuzz suite | |
| run: FOUNDRY_PROFILE=ci forge test --no-match-path "forge-test/invariant/*.t.sol" | |
| - name: Prime focused fuzz campaigns (CI profile) | |
| run: npm run forge:fuzz:ci | |
| - name: Prime stateful invariants (all handlers, CI profile) | |
| run: npm run forge:invariant:all | |
| - name: Prime replayable invariant commands | |
| run: | | |
| npm run forge:replay:prime | |
| npm run forge:replay:ghost | |
| - name: Prime soak profile | |
| run: npm run forge:soak | |
| - name: Setup Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.11' | |
| - name: Install Slither | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install slither-analyzer==0.10.4 | |
| - name: Run Slither | |
| run: npm run slither |