From 49e5891d9941b531d7df4e6419176e5358f5eb31 Mon Sep 17 00:00:00 2001
From: Haythem Sellami <17862704+haythemsellami@users.noreply.github.com>
Date: Wed, 3 Jul 2024 19:10:11 +0300
Subject: [PATCH] update echidna config

---
 .github/workflows/echidna.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/echidna.yml b/.github/workflows/echidna.yml
index f8a8c945..c704317a 100644
--- a/.github/workflows/echidna.yml
+++ b/.github/workflows/echidna.yml
@@ -31,9 +31,9 @@ jobs:
       run: |
         forge build --build-info
 
-    - name: Run Echidna
-      uses: crytic/echidna-action@v2
-      with:
-        files: test/echidna/CryticERC4626Harness.t.sol
-        contract: CryticERC4626Harness
-        config: test/echidna/config/echidna.config.yaml
\ No newline at end of file
+    - name: Install Echidna docker
+      uses: docker://ghcr.io/crytic/echidna/echidna:latest
+    
+    - name: Run Echidna tests
+      run: |
+        echidna test/echidna/CryticERC4626Harness.t.sol --contract CryticERC4626Harness --config test/echidna/config/echidna.config.yaml
\ No newline at end of file