Started 2 days 23 hr ago
Took 1 hr 14 min on master

Success Build #311 (Aug 15, 2019 10:06:10 AM)

Changes
  1. adapted to Isabelle/11d8517d9384 (detail / bitbucket)
  2. merged (detail / bitbucket)
  3. adapted to Isabelle/41108e3e9ca5; (detail / bitbucket)
  4. added newlines at end of files (detail / bitbucket)
  5. merge (detail / bitbucket)
  6. moved section (detail / bitbucket)

Started by an SCM change

This run spent:

  • 6.9 sec waiting;
  • 1 hr 14 min build duration;
  • 1 hr 14 min total from scheduled to completion.
Revision: 10112f5276d182767d7b2dbab97fc591272e75e1
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #311( 1 hr 14 min )Console Output