| changeset 73219 | feaf43e23b3a |
| parent 72894 | bd2269b6cd99 |
| child 73258 | fdc76c10bb61 |
--- a/Admin/Release/CHECKLIST Mon Feb 01 13:50:41 2021 +0100 +++ b/Admin/Release/CHECKLIST Mon Feb 01 14:01:01 2021 +0100 @@ -78,7 +78,7 @@ - Docker image: - isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2020 Isabelle2020_linux.tar.gz + isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2021 Isabelle2021_linux.tar.gz https://hub.docker.com/r/makarius/isabelle https://docs.docker.com/engine/reference/commandline/push