13 Commits

Include renames

Author	SHA1	Message	Date
Kamil Śliwak	a901f78be7	ci/build.sh: Use commit date rather than build date in version strings of CI builds	2021-01-14 18:04:41 +01:00
Daniel Kirchner	10c742ed0a	Update emscripten build to be compatible with new docker image.	2021-01-13 01:09:34 +01:00
Alexander Arlt	81b769b844	[ci] docker_upgrade.sh: use of environment files.	2020-11-26 18:28:17 -05:00
Alexander Arlt	fee871775b	[ci] Add check to detect broken symlinks.	2020-11-18 19:18:06 -05:00
Kamil Śliwak	5560239cf5	Replace links to readthedocs.io with ones using the new domain	2020-11-18 15:20:34 +01:00
chriseth	3654dccb96	Disable travis.	2020-10-19 18:06:30 +02:00
Daniel Kirchner	2bfa3487cb	Merge pull request #10044 from ethereum/removeAntlrDep ... ossfuzz: Remove antlr4 build deps	2020-10-15 15:48:53 +02:00
Bhargava Shastry	5023d3decb	ossfuzz: Remove antlr4 build deps	2020-10-15 12:59:18 +02:00
Daniel Kirchner	9d873b102e	Stop calling yourselves nightlies!	2020-10-15 00:48:56 +02:00
Bhargava Shastry	6101590d93	ossfuzz: Generate antlr4 runtime deps	2020-08-27 17:33:29 +02:00
Alexander Arlt	f7e180fb8f	Push images to docker hub.	2020-07-16 14:14:51 +02:00
chriseth	ca313e4003	Use more processors to build base builds.	2020-07-15 16:45:20 +02:00
Alexander Arlt	aed424f23e	Initial docker image creation workflows.	2020-07-14 19:00:48 -05:00