From 4a609481c000c315dfe4ceb4cc53d0f106263f77 Mon Sep 17 00:00:00 2001
From: teddy <teddy@defi.sucks>
Date: Thu, 26 Dec 2024 12:10:52 -0300
Subject: [PATCH] chore: run medusa in CI (#86)

---
 .github/workflows/tests.yml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 7fd5339..3fcbbc1 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -64,6 +64,23 @@ jobs:
       - name: Run tests
         run: yarn test:integration
 
+  medusa-tests:
+    name: Medusa Test
+    runs-on: ubuntu-latest
+    container: ghcr.io/trailofbits/eth-security-toolbox/ci:nightly-20241223
+
+    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 --test-limit 200000
+
   halmos-tests:
     name: Run symbolic execution tests
     runs-on: ubuntu-latest