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
23,867 Commits 348 Branches 121 Tags 100 MiB
smtlib-interface-for-everything
Commit Graph

5 Commits

Author SHA1 Message Date
Kamil Śliwak
c64fb7a258 docker_upgrade.sh: Workaround for git refusing to work with a repo in attached volume 2022-05-10 18:24:21 +02:00
Kamil Śliwak
7ccdbd5b08 Use consistent syntax for Bash function declarations 2021-11-08 16:34:07 +01:00
Alexander Arlt
81b769b844 [ci] docker_upgrade.sh: use of environment files. 2020-11-26 18:28:17 -05:00
Alexander Arlt
f7e180fb8f Push images to docker hub. 2020-07-16 14:14:51 +02:00
Alexander Arlt
aed424f23e Initial docker image creation workflows. 2020-07-14 19:00:48 -05:00