Skip to content
Started 6 yr 8 mo ago
Took 1 hr 46 min on built-in
Success

#1200 (Oct 6, 2017, 10:01:06 PM)

Changes
  1. tuned signature; (detail / hgweb)
  2. even more robust syntax (amending 122df1fde073); (detail / hgweb)
  3. clarified error for bad session-qualified imports; (detail / hgweb)
  4. clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 3 sec waiting;
  • 1 hr 46 min build duration;
  • 1 hr 51 min total from scheduled to completion.
Revision: 0cd29455a5e8f8f66a4f26b2ff673256e9fcc9b6
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1200( 1 hr 1 min )Console Output
isabelle-repo-afpbuild #1200( 1 hr 46 min )Console Output