diff --git a/tools/Dockerfile b/tools/Dockerfile index db86e91..a2eb606 100644 --- a/tools/Dockerfile +++ b/tools/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:20.04 +FROM ubuntu:20.10 SHELL ["/bin/bash", "-o", "pipefail", "-c"]