Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. restructured ci profile into modular ci build system;
Changeset 76222:3c4e373922ca by fabian huch _huch@in.tum.de_:
restructured ci profile into modular ci build system;
The file was addedsrc/Pure/Admin/ci_build.scala
The file was modified Admin/jenkins/run_build
The file was modified etc/build.props
The file was modified src/Pure/System/isabelle_tool.scala
The file was removedsrc/Pure/Admin/ci_build_benchmark.scala
The file was removedsrc/Pure/Admin/ci_profile.scala

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

Summary

  1. restructure afp ci builds (see Isabelle/3c4e373922ca)
Changeset 13054:4c631c22d1d2 by fabian huch _huch@in.tum.de_:
restructure afp ci builds (see Isabelle/3c4e373922ca)
The file was modified etc/build.props
The file was modified tools/afp_build.scala
The file was modified tools/afp_tool.scala