Started 3 hr 54 min ago
Build has been executing for 3 hr 54 min on master

Progress:
In progress Build #1610 (May 24, 2018 11:41:39 AM)

Changes
  1. added lemma Ints_scalar_prod (detail / bitbucket)

Started by an SCM change

This run spent 9.6 sec waiting in the queue.

Revision: 6b15e8f2e35f829e8c544d419f27e27bf995a1c6
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #1610( 59 min and counting )Console Output