echidna icon indicating copy to clipboard operation
echidna copied to clipboard

Change executable name from echidna-test to echidna

Open arcz opened this issue 2 years ago • 1 comments

Fixes https://github.com/crytic/echidna/issues/815

arcz avatar Sep 19 '22 20:09 arcz

This will break a number of CI tests (including echidna-action). Let's wait for a "major" release to implement it.

ggrieco-tob avatar Sep 19 '22 20:09 ggrieco-tob

@elopez can you take a quick look to see how this will impact github actions?

ggrieco-tob avatar Jan 30 '23 12:01 ggrieco-tob