Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
  2. suppress failed sessions, since Jenkins entries lack ISABELLE_BUILD_OPTIONS with threads (see also 744878d72021);
  3. more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2);
  4. merged
  5. show failed sessions on main page;
  6. clarified signature;
  7. HTML rendering based on Isabelle/jEdit colors;
  8. refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash;
  9. incremental build progress, to see state after unexpected failure (see also b3d6fb291f58);
  10. more Progress variations;
  11. more systematic separation of build_history directories (see also 80c1c1f53e72);
  12. updated dependencies;
  13. added one more simplification to help replay
  14. adapt to Scala 2.12.x
Changeset 65897:94b0da1b242e by wenzelm:
back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
The file was modified Admin/components/main (diff)
The file was modified src/HOL/Codegenerator_Test/Generate.thy (diff)
The file was modified src/Pure/General/antiquote.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
Changeset 65896:18f5014331a1 by wenzelm:
suppress failed sessions, since Jenkins entries lack ISABELLE_BUILD_OPTIONS with threads (see also 744878d72021);
The file was modified src/Pure/Admin/jenkins.scala (diff)
Changeset 65895:744878d72021 by wenzelm:
more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2);
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65894:54f621d5fa00 by wenzelm:
merged
Changeset 65893:20656a4709d6 by wenzelm:
show failed sessions on main page;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65892:bbad8162d678 by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65891:586911118317 by wenzelm:
HTML rendering based on Isabelle/jEdit colors;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65890:1b004f5974af by wenzelm:
refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65889:29c9e3742069 by wenzelm:
incremental build progress, to see state after unexpected failure (see also b3d6fb291f58);
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 65888:29a31cf0b4bc by wenzelm:
more Progress variations;
The file was modified src/Pure/System/progress.scala (diff)
Changeset 65887:cc6fdf8d1dc2 by wenzelm:
more systematic separation of build_history directories (see also 80c1c1f53e72);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65886:aaa016619678 by wenzelm:
updated dependencies;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 65885:77d922eff5ac by blanchet:
added one more simplification to help replay
The file was modified src/HOL/Real.thy (diff)
Changeset 65884:d76937b773d9 by lars hupel _lars.hupel@mytum.de_:
adapt to Scala 2.12.x
The file was modified src/HOL/Library/Code_Char.thy (diff)