From 8911b575c6d15d366afd1be93a3bcd9586268648 Mon Sep 17 00:00:00 2001
From: ggrieco-tob <gustavo.grieco@trailofbits.com>
Date: Wed, 29 May 2024 11:41:41 +0200
Subject: [PATCH] test to debug

---
 .github/workflows/medusa.yaml | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/medusa.yaml b/.github/workflows/medusa.yaml
index f1d0af7..1328b1c 100644
--- a/.github/workflows/medusa.yaml
+++ b/.github/workflows/medusa.yaml
@@ -23,8 +23,6 @@ jobs:
 
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: 5be158ba6dc7c798a6f032026fe60fc01686b33b
 
       - name: Go setup
         uses: actions/setup-go@v4
@@ -44,11 +42,11 @@ jobs:
         working-directory: tests/ERC20/foundry
         run: forge build --build-info
 
-#      - name: Run Medusa for Internal ERC20 tests
-#        working-directory: tests/ERC20/foundry
-#        run: |
-#          ls
-#          medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
+      - name: Run Medusa for Internal ERC20 tests
+        working-directory: tests/ERC20/foundry
+        run: |
+          ls out -R
+          medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
 
       - name: Run Medusa for External ERC20 tests
         working-directory: tests/ERC20/foundry