Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. build manager: echo error messages to server output;
  2. omit showing previous failures for user builds;
  3. always handle interrupted jobs;
  4. add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;
  5. clarified context: operations now in build process;
  6. clarified: add explicit build process;
  7. remove unnecessary subdir;
  8. tuned;
Changeset 80284:7a5bbc2e4bad by fabian huch _huch@in.tum.de_:
build manager: echo error messages to server output;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80283:c19f44f6525a by fabian huch _huch@in.tum.de_:
omit showing previous failures for user builds;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80282:3c3a9154c107 by fabian huch _huch@in.tum.de_:
always handle interrupted jobs;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80281:17d2f775907a by fabian huch _huch@in.tum.de_:
add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;
The file was modified etc/options
The file was modified src/Pure/Admin/ci_build.scala
The file was modified src/Pure/Build/build_manager.scala
Changeset 80280:7987b33fb6c5 by fabian huch _huch@in.tum.de_:
clarified context: operations now in build process;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80279:02424b81472a by fabian huch _huch@in.tum.de_:
clarified: add explicit build process;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80278:21b30f1fa331 by fabian huch _huch@in.tum.de_:
remove unnecessary subdir;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80277:63b83637976a by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Build/build_manager.scala

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

Summary

  1. adapt to Isabelle/17d2f775907a;
  2. merge
  3. feat(ML_Unification) change parten session to HOL to reduce compilation time
Changeset 14443:522b0b25f6a8 by fabian huch _huch@in.tum.de_:
adapt to Isabelle/17d2f775907a;
The file was modified tools/afp_build.scala
Changeset 14442:7e4ecc8785fa by kevin kappelmann _kevin.kappelmann@tum.de_:
merge
Changeset 14441:74d02e790720 by kevin kappelmann _kevin.kappelmann@tum.de_:
feat(ML_Unification) change parten session to HOL to reduce compilation time
The file was modified thys/ML_Unification/ROOT