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

#1490 (Feb 28, 2018, 4:46:04 PM)

Changes
  1. more explicit infixl (see initial 1edf0f223c6e);
    clarified name; (detail / hgweb)
  2. clarified use of vec type syntax; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 1 hr 57 min build duration;
  • 2 hr 2 min total from scheduled to completion.
Revision: 39d80006fc29a6ed6ec19a98660c4b67c51c6e3b
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1490( 59 min )Console Output
isabelle-repo-afpbuild #1490( 1 hr 1 min )Console Output