diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml deleted file mode 100644 index b104942..0000000 --- a/.github/workflows/coverage.yml +++ /dev/null @@ -1,67 +0,0 @@ -name: coverage - -on: - pull_request: - -jobs: - forge-coverage-comment: - name: Forge coverage and comment - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 - with: - submodules: recursive - - - name: Install Foundry - uses: foundry-rs/foundry-toolchain@v1 - with: - version: stable - - # install dependency - - uses: actions/setup-node@v3 - with: - node-version: 16 - cache: 'yarn' - - - run: yarn - - # ignore test, script and total line - - name: Run forge coverage - id: coverage - run: | - { - echo 'COVERAGE<> "$GITHUB_OUTPUT" - - # 41898282 is github-actions bot id: https://github.com/marketplace/actions/bot-details - - name: Comment forge coverage report on PR - id: comment - uses: actions/github-script@v5 - with: - script: | - const {data: comments} = await github.rest.issues.listComments({ - owner: context.repo.owner, - repo: context.repo.repo, - issue_number: context.issue.number, - }) - - const botComment = comments.find(comment => comment.user.id === 41898282) - const coverageReport = `${{ steps.coverage.outputs.COVERAGE }}`; - - if (botComment) { - github.rest.issues.updateComment({ - owner: context.repo.owner, - repo: context.repo.repo, - comment_id: botComment.id, - body: coverageReport - }) - } else { - github.rest.issues.createComment({ - issue_number: context.issue.number, - owner: context.repo.owner, - repo: context.repo.repo, - body: coverageReport - }); - } diff --git a/foundry.toml b/foundry.toml index 9863e10..bede874 100644 --- a/foundry.toml +++ b/foundry.toml @@ -17,9 +17,7 @@ gas_limit = "300000000" bytecode_hash = "none" [fuzz] -# used for both fuzz and invariant tests for local development -# not sure why but [profile.default.fuzz] just doesn't work for invariant tests -runs = 1000 +runs = 5 # change this for higher number of fuzz runs locally [profile.ci.fuzz] runs = 10000