From e9928eb07be77a71bf3e70d3038c153391cdcc74 Mon Sep 17 00:00:00 2001 From: teddy Date: Tue, 15 Oct 2024 12:54:28 -0300 Subject: [PATCH] ci: medusa workflow using a custom base container --- .github/workflows/tests.yml | 31 ++++++++++++++++--------------- 1 file changed, 16 insertions(+), 15 deletions(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 4d6b78e..3cf99dc 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -17,11 +17,6 @@ jobs: steps: - uses: actions/checkout@v4 - - name: Install Foundry - uses: foundry-rs/foundry-toolchain@v1 - with: - version: nightly - - name: Use Node.js uses: actions/setup-node@v4 with: @@ -44,11 +39,6 @@ jobs: steps: - uses: actions/checkout@v4 - - name: Install Foundry - uses: foundry-rs/foundry-toolchain@v1 - with: - version: nightly - - name: Use Node.js uses: actions/setup-node@v4 with: @@ -63,6 +53,22 @@ jobs: - name: Run tests run: yarn test:integration + medusa-tests: + name: Medusa Test + runs-on: ubuntu-latest + container: 0xteddybear/eth-security-toolbox-ci + + 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 @@ -70,11 +76,6 @@ jobs: steps: - uses: actions/checkout@v4 - - name: Install Foundry - uses: foundry-rs/foundry-toolchain@v1 - with: - version: nightly - - name: Use Node.js uses: actions/setup-node@v4 with: