Jason Volk
|
083cd73eb8
|
tools: Move docker to the fore.
|
2020-05-10 18:05:05 -07:00 |
|
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 |
|