Skip to content
Started 7 yr 0 mo ago
Took 53 min on built-in
Success

#997 (Jul 1, 2017, 4:46:07 PM)

Changes
  1. tuned; (detail / hgweb)
  2. proper fonts (cf. 1d219d76873b); (detail / hgweb)
  3. all_known can cause timeout of VSCode server startup, notably on Windows; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 4 sec waiting;
  • 53 min build duration;
  • 58 min total from scheduled to completion.
Revision: 453f9cabddb5a13f9151de350dd53e39cb953f22
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #997( 52 min )Console Output
isabelle-repo-afpbuild #997( 2 min 25 sec )Console Output