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 57e451a
Showing 1 changed file with 16 additions and 15 deletions.
31 changes: 16 additions & 15 deletions .github/workflows/tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand All @@ -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:
Expand All @@ -63,18 +53,29 @@ 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
runs-on: ubuntu-latest
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:
Expand Down

0 comments on commit 57e451a

Please sign in to comment.