From dbb05c90acd0bac1f56c92eb09785ef39ef46ad0 Mon Sep 17 00:00:00 2001 From: teddy Date: Thu, 17 Oct 2024 17:37:30 -0300 Subject: [PATCH] ci: update to final medusa params --- .github/workflows/tests.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 5ef5b0a..f402fc2 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -66,7 +66,7 @@ jobs: medusa-tests: name: Medusa Test runs-on: ubuntu-latest - container: ghcr.io/defi-wonderland/eth-security-toolbox-ci:initial-branch + container: ghcr.io/defi-wonderland/eth-security-toolbox-ci:latest steps: - name: Checkout repository @@ -78,7 +78,7 @@ jobs: run: yarn --frozen-lockfile --network-concurrency 1 - name: Run Medusa - run: medusa fuzz --timeout 100 + run: medusa fuzz --test-limit 200000 halmos-tests: name: Run symbolic execution tests