ci: bump ubuntu 19.04 images to 19.10

Ubuntu 19.04 goes EOL this month.
2020-01-03 12:35:55 +01:00 · 2020-01-03 12:35:55 +01:00 · 66207ae7f8
commit 66207ae7f8
parent 4877e164a1
2 changed files with 2 additions and 2 deletions
--- a/src/ci/docker/x86_64-gnu-debug/Dockerfile
+++ b/src/ci/docker/x86_64-gnu-debug/Dockerfile
@ -1,4 +1,4 @@
-FROM ubuntu:19.04
+FROM ubuntu:19.10

 RUN apt-get update && apt-get install -y --no-install-recommends \
  g++ \
--- a/src/ci/docker/x86_64-gnu/Dockerfile
+++ b/src/ci/docker/x86_64-gnu/Dockerfile
@ -1,4 +1,4 @@
-FROM ubuntu:19.04
+FROM ubuntu:19.10

 RUN apt-get update && apt-get install -y --no-install-recommends \
  g++ \