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/x86_64-gnu-debug | |
| parent | 8f9e90b9cd4d377c8a880dc9b66932bcaf1da72d (diff) | |
ci: bump ubuntu 18.10 images to 19.04
Diffstat (limited to 'src/ci/docker/x86_64-gnu-debug')
| -rw-r--r-- | src/ci/docker/x86_64-gnu-debug/Dockerfile | 2 |
1 files changed, 1 insertions, 1 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++ \ |