Skip to content
[Jenkins]Jenkins
log in
Failed

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

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. proper Go setup, following Isabelle/da323d3d7570;
Changeset 14165:1699d5f4b11d by wenzelm:
proper Go setup, following Isabelle/da323d3d7570;
The file was modified thys/Go/code_go.ML