diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-05-09 11:51:01 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-05-09 11:51:01 +0200 |
| commit | c98a27c622394148bb94ecf5fc1d31c7c645f45d (patch) | |
| tree | e236eb762214263650f95a9a0e41a925d3b63119 /src/ci/docker | |
| parent | 8f9e90b9cd4d377c8a880dc9b66932bcaf1da72d (diff) | |
| download | rust-c98a27c622394148bb94ecf5fc1d31c7c645f45d.tar.gz rust-c98a27c622394148bb94ecf5fc1d31c7c645f45d.zip | |
ci: bump ubuntu 18.10 images to 19.04
Diffstat (limited to 'src/ci/docker')
| -rw-r--r-- | src/ci/docker/x86_64-gnu-debug/Dockerfile | 2 | ||||
| -rw-r--r-- | src/ci/docker/x86_64-gnu/Dockerfile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/ci/docker/x86_64-gnu-debug/Dockerfile b/src/ci/docker/x86_64-gnu-debug/Dockerfile index 1c7eff68adc..7a503ea4e98 100644 --- a/src/ci/docker/x86_64-gnu-debug/Dockerfile +++ b/src/ci/docker/x86_64-gnu-debug/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:18.10 +FROM ubuntu:19.04 RUN apt-get update && apt-get install -y --no-install-recommends \ g++ \ diff --git a/src/ci/docker/x86_64-gnu/Dockerfile b/src/ci/docker/x86_64-gnu/Dockerfile index dd94f2652b4..c3519a00778 100644 --- a/src/ci/docker/x86_64-gnu/Dockerfile +++ b/src/ci/docker/x86_64-gnu/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:18.10 +FROM ubuntu:19.04 RUN apt-get update && apt-get install -y --no-install-recommends \ g++ \ |