cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
09eeb1a6b9
solidity/.circleci
History
Daniel Kirchner 311578800a
Add static z3 build from deps PPA to testing docker image.
2019-08-07 16:50:47 +02:00
..
docker Add static z3 build from deps PPA to testing docker image. 2019-08-07 16:50:47 +02:00
config.yml Add static z3 build from deps PPA to testing docker image. 2019-08-07 16:50:47 +02:00
README.md Use up-to-date archlinux instead of a custom docker image for archlinux build. 2019-08-06 13:50:01 +02:00
soltest.sh State what is being tested. 2019-06-24 12:42:05 +02:00

README.md

CircleCI integration

Docker images

The docker images are build locally on the developer machine:

cd .circleci/docker/

docker build -t ethereum/solc-buildpack-deps:ubuntu1904 -f Dockerfile.ubuntu1904 .
docker push solidity/solc-buildpack-deps:ubuntu1904

which you can find on Dockerhub after the push at:

https://hub.docker.com/r/ethereum/solidity-buildpack-deps

where the image tag reflects the target OS to build Solidity and run its test on.