Skip to content
Started 1 yr 6 mo ago
Took 11 hr on workerlrz5
Success

#2058 (Sep 8, 2022, 1:34:12 AM)

Build Artifacts
Changes

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

  1. merged (detail)
  2. merged (detail)
  3. moved antimono to Fun and redefined it as an abbreviation (detail)
  4. moved mono and strict_mono to Fun and redefined them as abbreviations (detail)

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

  1. updated entry for Universal Turing Machines (detail)
  2. merged (detail)
  3. adapted to antimono (detail)
  4. merged (detail)
  5. adapted to new mono and strict_mono (detail)
  6. updated to Isabelle/5ea588440b06 (detail)

Started by an SCM change

This run spent:

  • 9.2 sec waiting;
  • 11 hr build duration;
  • 11 hr total from scheduled to completion.
Revision: e07d873c18a4f9ff28542ca0a68b5235c35cb5aa
Revision: 9e2b85708f737fdd8135dee5acac4570af5d0ba9