Corentin Le Molgat 8ff169ff17 docker: Centos7 -> devtoolset-7-toolchain-centos7 ...

default Centos7 comes with gcc 4.8.5 which can't compile or-tools

2019-03-25 14:20:39 +01:00

..

centos-7

docker: Centos7 -> devtoolset-7-toolchain-centos7

2019-03-25 14:20:39 +01:00

debian-9

docker: fix apt command for debian-9

2018-07-23 12:52:01 +02:00

ubuntu-16.04

…

ubuntu-18.04

Update docker

2018-11-22 18:04:57 +01:00

ubuntu-18.10

Use microsoft 18.04 feed for ubuntu 18.10

2018-11-22 18:04:57 +01:00