Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/ci-extras
author wenzelm
Wed, 19 Jul 2023 15:56:32 +0200
changeset 78408 092f1e435b3a
parent 63143 ef72b104fa32
permissions -rw-r--r--
proper Build_Cluster.Host.parse for parameters and system options; clarified Build_Cluster.Host: empty "host" means local;

#components required for the CI infrastructure
ci-extras-1
isabelle