Skip to content
Started 2 yr 11 mo ago
Took 10 hr on workerlrz5
Success

#1661 (Apr 15, 2021, 1:33:10 AM)

Build Artifacts
Changes

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

  1. proper etc/ISABELLE_ID from archive (amending 4cba4e250c28); (detail)
  2. eliminated perl: prefer elementary GNU printenv; (detail)
  3. more robust bootstrap of components; (detail)
  4. more self-contained support for macOS; (detail)

Started by an SCM change

This run spent:

  • 5 sec waiting;
  • 10 hr build duration;
  • 10 hr total from scheduled to completion.
Revision: dabe295c3f62b2ba2f1df67704c1566d34b2092d
Revision: bf041f4c01bfa62543fb457832006c2ec848f251