diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 4d6b78e..9dd2f9b 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: ghcr.io/defi-wonderland/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: