#1671 (Apr 29, 2021, 1:33:09 AM)

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

1. clarified signature; (detail)
2. tuned signature; (detail)
3. clarified command-line, following other build_XYZ tools; (detail)
4. more recent OCaml and GHC stack: better support for Apple Silicon; (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. merged (detail)
2. trying to streamline a few proofs (detail)
3. feat(sitegen-devel): switched to python3 (detail)
4. renamings to ensure consistency with paper description (detail)
5. regen website (detail)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.