From 5437fcac864b5c2e925a7b75a7eef45364c8410c Mon Sep 17 00:00:00 2001 From: teddy Date: Tue, 15 Oct 2024 12:54:28 -0300 Subject: [PATCH 1/6] ci: medusa workflow using a custom base container --- .github/workflows/tests.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 7fd5339..27c8ad4 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -63,6 +63,22 @@ jobs: - name: Run tests run: yarn test:integration + medusa-tests: + name: Medusa Test + runs-on: ubuntu-latest + container: ghcr.io/defi-wonderland/eth-security-toolbox-ci:initial-branch + + steps: + - name: Checkout repository + uses: actions/checkout@v4 + with: + submodules: recursive + + - name: Install dependencies + run: yarn --frozen-lockfile --network-concurrency 1 + + - name: Run Medusa + run: medusa fuzz --timeout 100 halmos-tests: name: Run symbolic execution tests From ce99a612ce36fb8ba5edb02a732a6989922ab262 Mon Sep 17 00:00:00 2001 From: teddy Date: Thu, 17 Oct 2024 17:37:30 -0300 Subject: [PATCH 2/6] 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 27c8ad4..285f165 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 From 7d03a6e50af13ea93819e3ec35347246b50f7659 Mon Sep 17 00:00:00 2001 From: teddy Date: Tue, 22 Oct 2024 12:18:11 -0300 Subject: [PATCH 3/6] ci: use versions of the image that have gone through code review --- .github/workflows/tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 285f165..ae4ef86 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:latest + container: ghcr.io/defi-wonderland/eth-security-toolbox-ci:dev steps: - name: Checkout repository From 06f3f280e73aca2a103b49db8df86c5bb6edda32 Mon Sep 17 00:00:00 2001 From: teddy Date: Tue, 17 Dec 2024 19:04:21 -0300 Subject: [PATCH 4/6] ci: use image maintained by ToB --- .github/workflows/tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index ae4ef86..361086d 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:dev + container: ghcr.io/trailofbits/eth-security-toolbox/ci:testing-dev steps: - name: Checkout repository From c084d0d096ab8ceff56c8c7479bec7a5e6eb63e7 Mon Sep 17 00:00:00 2001 From: teddy Date: Fri, 20 Dec 2024 09:02:04 -0300 Subject: [PATCH 5/6] fix: feedback from gas --- .github/workflows/tests.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 361086d..aae1a0e 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -63,6 +63,7 @@ jobs: - name: Run tests run: yarn test:integration + medusa-tests: name: Medusa Test runs-on: ubuntu-latest From a5df9a4eab191805e9d4a5cdc6aee7e2ead464d4 Mon Sep 17 00:00:00 2001 From: teddy Date: Mon, 23 Dec 2024 14:54:52 -0300 Subject: [PATCH 6/6] chore: update image to current nightly build --- .github/workflows/tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index aae1a0e..3fcbbc1 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -67,7 +67,7 @@ jobs: medusa-tests: name: Medusa Test runs-on: ubuntu-latest - container: ghcr.io/trailofbits/eth-security-toolbox/ci:testing-dev + container: ghcr.io/trailofbits/eth-security-toolbox/ci:nightly-20241223 steps: - name: Checkout repository