From f92068ba97addaf87f3773c2bf1e0330014a19bf Mon Sep 17 00:00:00 2001 From: teddy Date: Tue, 15 Oct 2024 18:50:13 -0300 Subject: [PATCH] ci: remove echidna ci step --- .github/workflows/tests.yml | 38 +------------------------------------ 1 file changed, 1 insertion(+), 37 deletions(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 18624462..4d6b78e1 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -64,42 +64,6 @@ jobs: - name: Run tests run: yarn test:integration - echidna-tests: - name: Echidna Test - runs-on: ubuntu-latest - - steps: - - name: Checkout repository - uses: actions/checkout@v4 - with: - submodules: recursive - - - name: Install Foundry - uses: foundry-rs/foundry-toolchain@v1 - with: - version: nightly - - - name: Use Node.js - uses: actions/setup-node@v4 - with: - node-version: 20.x - cache: 'yarn' - - - name: Install dependencies - run: yarn --frozen-lockfile --network-concurrency 1 - - - name: Compile contracts - run: | - forge build --build-info - - - name: Run Echidna - uses: crytic/echidna-action@v2 - with: - files: . - contract: InvariantGreeter - test-mode: assertion - crytic-args: --ignore-compile - halmos-tests: name: Run symbolic execution tests runs-on: ubuntu-latest @@ -151,4 +115,4 @@ jobs: - name: Install dependencies run: yarn --frozen-lockfile --network-concurrency 1 - - run: yarn lint:check \ No newline at end of file + - run: yarn lint:check