20 Commits

Author	SHA1	Message	Date
Kamil Śliwak	4c186321c8	Replace some older shell syntax with newer and/or more reliable equivalents	2021-03-04 16:53:05 +01:00
Kamil Śliwak	27754d3e3d	Quote stuff properly	2021-02-01 17:14:38 +01:00
Kamil Śliwak	6d44055556	Fix inconsistent indentation	2021-02-01 17:03:05 +01:00
Kamil Śliwak	cd4b667545	post_style_errors_on_github.sh: Fix condition that sets $CIRCLE_PR_NUMBER	2021-01-28 12:41:26 +01:00
Kamil Śliwak	7bc81e3c95	Rename report_errors.sh to post_style_errors_on_github.sh	2021-01-20 13:29:34 +01:00
Kamil Śliwak	71d19c5178	build_win.ps1: Use commit date for CI builds on Windows and Emscripten as well	2021-01-14 22:23:06 +01:00
Kamil Śliwak	6c3ccc8e29	ci/build.sh: Use a more portable command for getting the date to make it work on macOS too	2021-01-14 22:22:39 +01:00
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