chore: update echidna ci

manifoldfinance · Jul 30, 2023 · 208ec66 · 208ec66
1 parent 31278b1
commit 208ec66
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/echidna.yaml b/.github/workflows/echidna.yaml
@@ -30,7 +30,7 @@ jobs:
       - name: Run Echidna
         uses: crytic/echidna-action@v2
         with:
-          files: test/echidna/ERC4626-echidna.t.sol
+          files: .
           contract: CryticERC4626Harness
           config: test/echidna/echidna.config.yaml
           crytic-args: --ignore-compile
diff --git a/.gitignore b/.gitignore
@@ -24,3 +24,5 @@ remappings.txt
 .envrc.local
 
 crytic-export/
+test/echidna/echidna-corpus/
+