diff --git a/.github/workflows/echidna.yml b/.github/workflows/echidna.yml index 9717a25a..e401bab9 100644 --- a/.github/workflows/echidna.yml +++ b/.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