Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 7 mo ago
Took 1 hr 51 min on workermtahpc
Success

#1810 (Nov 6, 2022, 12:50:06 AM)

Build Artifacts
Changes
  1. more TODO for release; (detail / hgweb)
  2. disable telemetry; (detail / hgweb)
  3. clarified error; (detail / hgweb)
  4. tuned message, example is in NEWS; (detail / hgweb)
  5. proper default_platform; (detail / hgweb)
  6. tuned NEWS; (detail / hgweb)
  7. tuned message; (detail / hgweb)
  8. support for Dotnet / Fsharp platform, via dynamically installed Isabelle component; (detail / hgweb)
  9. tuned signature; (detail / hgweb)
  10. tuned comments; (detail / hgweb)
  11. clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit"; (detail / hgweb)
  12. clarified options: support lualatex as well, but prefer old pdflatex for demos; (detail / hgweb)
  13. more command-line options; (detail / hgweb)
  14. proper URL; (detail / hgweb)
  15. document_build engine for "lipics", with options and document_files; (detail / hgweb)
  16. clarified signature: allow to change options in instances of Document_Build.Engine; (detail / hgweb)
  17. tuned signature; (detail / hgweb)
  18. clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it; (detail / hgweb)
  19. Better use the finite simproc selectively only (detail / hgweb)

Started by an SCM change

This run spent:

  • 5.6 sec waiting;
  • 1 hr 51 min build duration;
  • 1 hr 51 min total from scheduled to completion.
Revision: 2b19c70c44c2c3dc7f38d2e9b1ccf56513f8ae78