Merge pull request #196 from crytic/revert-194-dev-ci-workaround

Revert "ci: echidna: temporarily use latest stable version"

Author: montyly

.github/workflows/echidna.yml

@@ -162,7 +162,7 @@ jobs:
         output-file: ${{ matrix.files }}.out
         solc-version: ${{ matrix.solc-version || '0.5.11' }}
         echidna-workdir: ${{ matrix.workdir }}
-        echidna-version: latest
+        echidna-version: edge
         crytic-args: ${{ matrix.crytic-args || '' }}
 
     - name: Verify that the exit code is correct