Skip to content

Commit

Permalink
ci: medusa workflow using a custom base container
Browse files Browse the repository at this point in the history
  • Loading branch information
0xteddybear committed Oct 17, 2024
1 parent f92068b commit 65562a7
Showing 1 changed file with 16 additions and 0 deletions.
16 changes: 16 additions & 0 deletions .github/workflows/tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 65562a7

Please sign in to comment.