Skip to content

Commit

Permalink
ci: Pin echidna version
Browse files Browse the repository at this point in the history
  • Loading branch information
@maurelian
maurelian committed Dec 7, 2022
1 parent a681891 commit 74fd040
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 1 deletion.
5 changes: 5 additions & 0 deletions .changeset/neat-terms-buy.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
---
'@eth-optimism/ci-builder': patch
---

Pin echidna version
2 changes: 1 addition & 1 deletion ops/docker/ci-builder/Dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ RUN source $HOME/.profile && \

FROM ethereum/client-go:alltools-v1.10.25 as geth

FROM ghcr.io/crytic/echidna/echidna:testing-master as echidna-test
FROM ghcr.io/crytic/echidna/echidna:v2.0.4 as echidna-test

FROM python:3.8.13-slim-bullseye

Expand Down

0 comments on commit 74fd040

Please sign in to comment.