5 commits

Author	SHA1	Message	Date
Jason Volk	5e9701b6c9	tools/docker: Trim docker pull from build and push script.	2020-04-29 11:09:45 -07:00
Jason Volk	cbe7d13c6f	docker/appveyor: RocksDB 5.17.2; Boost 1.71; remove PPAs for 20.04 vocal fossil.	2020-04-29 10:59:31 -07:00
Wessel Nieboer	d4a2c2c22f	Still push	2020-04-08 04:01:34 +02:00
Wessel Nieboer	dddca1b1eb	Add gcc-9 base	2020-04-08 03:58:55 +02:00
Wessel Nieboer	a1858b9f89	Simplify and dry up the Dockerfiles	2020-04-08 03:13:55 +02:00