Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more on Docker;
authorwenzelm
Sun, 08 Oct 2017 16:50:37 +0200
changeset 66792 6b76a5d1b7a5
parent 66791 e51f789f7705
child 66793 deabce3ccf1f
child 66818 5bc903a60932
more on Docker;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Sun Oct 08 15:54:55 2017 +0200
+++ b/Admin/Release/CHECKLIST	Sun Oct 08 16:50:37 2017 +0200
@@ -82,6 +82,13 @@
 
   hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
 
+- Docker image:
+
+  isabelle build_docker -E -t makarius/isabelle:Isabelle2017 Isabelle2017_app.tar.gz
+
+  https://hub.docker.com/r/makarius/isabelle
+  https://docs.docker.com/docker-cloud/builds/push-images
+
 
 Final release stage
 ===================
isabelle