Skip to content
Started 2 yr 10 mo ago
Took 3 hr 0 min on workermta1
Success

#2833 (May 7, 2021, 2:38:08 PM)

Build Artifacts
Changes

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

  1. merged (detail / hgweb)
  2. updated to polyml-5.8.2 (official release); (detail / hgweb)
  3. clarified default_platform_families (again); (detail / hgweb)
  4. proper option for linux_arm; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 3 sec waiting;
  • 3 hr 0 min build duration;
  • 3 hr 2 min total from scheduled to completion.
Revision: 0da9e824255fa5d56a9789d453a6e37518a6bdd5
Revision: 7186391873890f640f62a42eca620a1dce467ec9