update echidna config

euler-xyz · Jul 3, 2024 · 49e5891 · 49e5891
1 parent e0d0e5c
commit 49e5891
Showing 1 changed file with 6 additions and 6 deletions.
diff --git 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
+    - 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