fix: skip all Echidna tests in CI

This commit is contained in:
Roman 2025-10-29 15:06:45 +08:00
parent 1cd3c91d87
commit 02389952a4
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E

View File

@ -117,7 +117,7 @@ jobs:
)" >> $GITHUB_ENV
- name: "Run the tests"
run: 'forge test --no-match-path "test/EchidnaTest.t.sol"'
run: 'forge test --no-match-path "test/Echidna*.t.sol"'
- name: "Add test summary"
run: |
@ -151,7 +151,7 @@ jobs:
run: "pnpm install"
- name: "Generate the coverage report using the unit and the integration tests"
run: 'forge coverage --match-path "test/**/*.sol" --no-match-path "test/EchidnaTest.t.sol" --report lcov'
run: 'forge coverage --match-path "test/**/*.sol" --no-match-path "test/Echidna*.t.sol" --report lcov'
- name: "Upload coverage report to Codecov"
uses: "codecov/codecov-action@v3"