Skip to content
Started 3 yr 1 mo ago
Took 2 hr 23 min on workermta1
Failed

#2675 (Feb 27, 2021, 10:56:06 PM)

Build Artifacts
Changes

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

  1. more Isabelle/ML/Scala operations; (detail / hgweb)
  2. more Isabelle/ML/Scala operations; (detail / hgweb)
  3. more Isabelle/ML/Scala operations;
    clarified errors; (detail / hgweb)
  4. proper src1, amending 20157c8ab3f3; (detail / hgweb)
  5. tuned; (detail / hgweb)
  6. proper File.eq, amending df49ca5da9d0; (detail / hgweb)
  7. tuned; (detail / hgweb)
  8. clarified modules: more like ML; (detail / hgweb)
  9. obsolete; (detail / hgweb)
  10. tuned; (detail / hgweb)
  11. more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552); (detail / hgweb)
  12. discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 3 sec waiting;
  • 2 hr 23 min build duration;
  • 2 hr 25 min total from scheduled to completion.
Revision: 48abb09d49ea728f07e418bcb5e656d595c6169c
Revision: 59274460849c4d0f957d648cc5b5b3d280f7711d
Failed entries: