9 Commits

Include renames

Author	SHA1	Message	Date
Daniel Kirchner	c1ed5bbb0f	Update Dockerfiles and CI scripts to Ubuntu 20.04 and simplify them.	2020-05-11 17:35:01 +02:00
Bhargava Shastry	98fb71f03f	circleci: Use custom pipeline parameters per docker image revision in config	2020-02-20 11:34:49 +05:30
William Entriken	66ba683da0	Fix all markdown language hints	2019-11-27 20:15:30 -05:00
Bhargava Shastry	9ed706290b	Use pipeline parameters to store/reference current docker image revision	2019-11-22 16:40:53 +01:00
Alex Beregszaszi	3570870642	Upgrade evmone to v0.3.0 in the docker images	2019-11-19 12:41:12 +01:00
Bhargava Shastry	62ae015552	docker: Add versioning and edit naming scheme	2019-11-18 15:16:53 +01:00
Bhargava Shastry	0b35cbc22c	Inherit defaults cmake options in toolchain file used by ossfuzz builder.	2019-08-14 18:06:37 +02:00
Daniel Kirchner	6122faf9b4	Use up-to-date archlinux instead of a custom docker image for archlinux build.	2019-08-06 13:50:01 +02:00
Christian Parpart	b58170f890	Refactor & Speedups on CircleCI; split out out codecov into dedicated tests.	2019-06-21 20:26:10 +02:00