From 9e611d4649031d7efbd317f38ad1c1aa1166de3b Mon Sep 17 00:00:00 2001 From: Fred Blaise Date: Sat, 9 May 2020 07:59:38 +0200 Subject: [PATCH] Change parent docker image to get newer version of plantUML --- Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index d48ea0e..f5c69d8 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,5 @@ -FROM python:3.8-slim +FROM ubuntu:groovy +# Current plantUML version at time of switch: PlantUML Version 1.2020.02 # Note: GitHub Actions must be run by the default Docker user (root). Ensure your Dockerfile does not set the USER instruction, otherwise you will not be able to access GITHUB_WORKSPACE. # https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863199