From c98a27c622394148bb94ecf5fc1d31c7c645f45d Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Thu, 9 May 2019 11:51:01 +0200 Subject: ci: bump ubuntu 18.10 images to 19.04 --- src/ci/docker/x86_64-gnu-debug/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/ci/docker/x86_64-gnu-debug/Dockerfile') 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++ \ -- cgit 1.4.1-3-g733a5