Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
  2. proper "isabelle go_setup" for Jenkins;
Changeset 80045:308ccc1ef982 by wenzelm:
proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 80044:da323d3d7570 by wenzelm:
proper "isabelle go_setup" for Jenkins;
The file was modified Admin/jenkins/run_build