Add Perimeter's defensive fuzzing report #272
This file contains 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: Coverage Report | |
on: | |
pull_request: | |
env: | |
FOUNDRY_PROFILE: ci | |
GITHUB_TOKEN: ${{ secrets.ZKEVM_BRIDGE_CONTRACTS_GITHUB_TOKEN }} | |
jobs: | |
check: | |
strategy: | |
fail-fast: true | |
name: Foundry project | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
with: | |
submodules: recursive | |
- name: Restore node modules from cache | |
uses: ./.github/actions/node-cache | |
- name: Install Foundry | |
uses: foundry-rs/foundry-toolchain@v1 | |
with: | |
version: nightly | |
- name: Run Forge build | |
run: | | |
forge --version | |
forge build --sizes | |
id: build | |
# `forge coverage` doesn't have an `exclude-path` flag. | |
# See open issue: https://github.com/foundry-rs/foundry/issues/2988 | |
# We manually exclude output for the test/ directory, as well as | |
# the 'Total' row which would be askew without the full data set. | |
- name: Run Forge coverage | |
run: | | |
forge coverage --report summary | grep -v "test/" | grep -v "| Total" > ./coverage.out | |
id: coverage | |
- name: Debug coverage report | |
run: | | |
cat ./coverage.out | |
- name: Publish report | |
uses: ./.github/actions/coverage | |
with: | |
coverage: ./coverage.out | |
target: coverage | |