Admin/Release/CHECKLIST
changeset 70330 312e4a40db01
parent 70104 e6b7729453bf
child 71289 16e3662217e9
equal deleted inserted replaced
70329:8dce5eed5993 70330:312e4a40db01
    78 - Docker image:
    78 - Docker image:
    79 
    79 
    80   isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2019 Isabelle2019_linux.tar.gz
    80   isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2019 Isabelle2019_linux.tar.gz
    81 
    81 
    82   https://hub.docker.com/r/makarius/isabelle
    82   https://hub.docker.com/r/makarius/isabelle
    83   https://docs.docker.com/docker-cloud/builds/push-images
    83   https://docs.docker.com/engine/reference/commandline/push
    84 
    84 
    85 
    85 
    86 Post-release
    86 Post-release
    87 ============
    87 ============
    88 
    88