From 57b243a6999c8b1a4c31cf8ce6e6d715c51bb8c3 Mon Sep 17 00:00:00 2001 From: Tomas Rezucha Date: Mon, 9 Aug 2021 09:23:25 +0200 Subject: [PATCH] Update Ubuntu to v20.04 --- tools/docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 4b2872e1d7..ca55cbde24 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:18.04 +FROM ubuntu:20.04 ARG DEBIAN_FRONTEND=noninteractive