Skip to content
Started 17 hr ago
Took 2 hr 10 min on workermtahpc
Success

#2165 (Mar 28, 2024, 2:45:35 AM)

Build Artifacts
Changes
  1. proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests; (detail / hgweb)
  2. proper "isabelle go_setup" for Jenkins; (detail / hgweb)
  3. dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24); (detail / hgweb)
  4. tuned message; (detail / hgweb)
  5. merged (detail / hgweb)
  6. tuned NEWS; (detail / hgweb)
  7. support for "all" platforms; (detail / hgweb)
  8. clarified signature; (detail / hgweb)
  9. merged (detail / hgweb)
  10. updated time functions for Array_Braun (detail / hgweb)
  11. merged (detail / hgweb)
  12. New material and a bit of refactoring (detail / hgweb)
  13. remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32); (detail / hgweb)
  14. tuned; (detail / hgweb)
  15. more robust Markdown; (detail / hgweb)
  16. misc tuning;
    more text; (detail / hgweb)
  17. run "isabelle components_build -u"; (detail / hgweb)
  18. remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup"; (detail / hgweb)
  19. tuned order; (detail / hgweb)
  20. more Setup_Tool services; (detail / hgweb)
  21. clarified signature; (detail / hgweb)
  22. proper SSH operations; (detail / hgweb)
  23. tuned signature: more permissive; (detail / hgweb)
  24. clarified signature: explicit variable is easier to find in source; (detail / hgweb)
  25. proper services for Setup_Tool --- avoid hardwired stuff; (detail / hgweb)
  26. merged (detail / hgweb)
  27. renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal (detail / hgweb)

Started by an SCM change

This run spent:

  • 1 hr 55 min waiting;
  • 2 hr 10 min build duration;
  • 4 hr 5 min total from scheduled to completion.
Revision: 308ccc1ef9822c6270e6c7525350b0cc872dc864