From 02389952a4328db59e0a17b35c5696ebe55d6b0f Mon Sep 17 00:00:00 2001 From: Roman Date: Wed, 29 Oct 2025 15:06:45 +0800 Subject: [PATCH] fix: skip all Echidna tests in CI --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index fc9ebed..4fcebea 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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"