From dfcb4cc66d92ea579e2463df886403cb4b57d54f Mon Sep 17 00:00:00 2001 From: webthethird Date: Mon, 7 Aug 2023 08:39:18 -0500 Subject: [PATCH] Copy ./bin/echidna to diffusc installation location --- .github/workflows/ci-path-mode.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci-path-mode.yml b/.github/workflows/ci-path-mode.yml index 981c26c..f5fd097 100644 --- a/.github/workflows/ci-path-mode.yml +++ b/.github/workflows/ci-path-mode.yml @@ -36,6 +36,8 @@ jobs: - name: Install diffusc run: | pip3 install ".[test]" + mkdir /opt/hostedtoolcache/Python/3.10.12/x64/lib/python3.10/site-packages/bin/ + sudo cp bin/echidna /opt/hostedtoolcache/Python/3.10.12/x64/lib/python3.10/site-packages/bin/ solc-select install 0.8.11 solc-select use 0.8.11