From 725b6cd86f2ac77210c1d7bdf2afface5764a015 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <2642849+elopez@users.noreply.github.com> Date: Fri, 20 Jan 2023 10:53:14 -0300 Subject: [PATCH] Revert "ci: echidna: temporarily use latest stable version" --- .github/workflows/echidna.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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