Skip to content
Started 1 yr 6 mo ago
Took 1 hr 50 min on workermtahpc
Success

#1774 (Sep 18, 2022, 12:50:09 AM)

Build Artifacts
Changes
  1. show SSH options in PIDE GUI; (detail / hgweb)
  2. inplace update: proper Linux version; (detail / hgweb)
  3. provide naproche-20220917; (detail / hgweb)
  4. clarified NEWS; (detail / hgweb)
  5. proper platform directory x86_64-linux, to have it purged for other platforms;
    tuned README; (detail / hgweb)
  6. MLton component for x86_64-linux; (detail / hgweb)
  7. clarified Docker base image; (detail / hgweb)
  8. proper file headers; (detail / hgweb)
  9. tuned messages; (detail / hgweb)
  10. support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable; (detail / hgweb)
  11. omit menu for unfinished tool; (detail / hgweb)

Started by an SCM change

This run spent:

  • 8.6 sec waiting;
  • 1 hr 50 min build duration;
  • 1 hr 50 min total from scheduled to completion.
Revision: c72c5407a86ff5778f0114166902d028e2702b48