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