Commit Graph
8 Commits
Author SHA1 Message Date
Benjamin Samuels 4676495b78 add foundry to docker image 2025-10-06 09:49:34 -07:00
Emilio López a9df8f3323 docker: build echidna with musl 2025-08-18 00:20:12 -03:00
Emilio López a870f7f8d5 docker: move to noble, include z3, bitwuzla 2025-08-18 00:20:12 -03:00
Emilio López 33f7b46d58 Revert "docker: temporarily pin crytic-compile @ 53167f3f3d63 (#912)" (#1115)
This reverts commit 563886df8b.
The mentioned changes are now in a crytic-compile release.

Closes #1114
2023-10-24 19:56:27 +00:00
Artur CyganandEmilio López bc1fab0193 Change executable name from echidna-test to echidna (#826)
* Change executable name from echidna-test to echidna

* Fix release script

* Update .github

* Don't error on non-portable path on osx

* Update docker/Dockerfile

Co-authored-by: Emilio López <[email protected]>

---------

Co-authored-by: Emilio López <[email protected]>
2023-02-07 13:45:57 +01:00
Emilio López 17ad387a03 Enable static linking for docker container (#914) 2023-01-22 21:21:07 +01:00
Emilio López 563886df8b docker: temporarily pin crytic-compile @ 53167f3f3d63 (#912)
This commit has some important fixes for hardhat when used with
`--ignore-compile`.
2023-01-20 13:25:03 +01:00
Emilio López 1dc209b6a3 Clean up Docker containers (#706)
* Dockerfile: make image slimmer, based on distroless

* GitHub Actions: configure docker buildx

* GitHub Actions: move to ghcr.io

* Move dockerfile, add solc-install wrapper

* Add solc-select to python environment

* Disable wheel caching

* Add debian-based image

* Build and tag both debian and distroless images

* Reorganize tags, use build and push action

* Add NVM variant

* Indicate Dockerfile path correctly

* Unify Debian variants

* Switch to Docker metadata action

* Improve Docker section on README

* Enable caching of layers

* Update action versions

* Move back to Ubuntu

To keep the same distro we were using previously

* Disable building distroless

* Publish the images under the previous names

* Fix naming and publishing

* Use ubuntu focal

Try fixing missing __xmknod symbol with ubuntu jammy

* Make apt-get installs non-interactive

* Remove 'ubuntu' ghcr image name

* Add setuptools, distutils and pip

Otherwise the final environment is slightly broken if someone tries
to install extra packages

* Add UTF-8 locale

Echidna prints emojis and will throw an error if the locale is not
set correctly.

* README: fix some markdownlint warnings

* README: adjust Docker documentation
2022-09-09 14:40:29 +02:00