Started 5 days 9 hr ago
Took 43 min on master

Success Build #297 (Apr 18, 2019 2:57:10 PM)

Changes
  1. merged automaton combination cardinality theorems (detail / bitbucket)
  2. merged (detail / bitbucket)
  3. incorporated various material from the AFP into the distribution (detail / bitbucket)

Started by an SCM change

This run spent:

  • 7.7 sec waiting;
  • 43 min build duration;
  • 43 min total from scheduled to completion.
Revision: 96fba6d61fade99633d73d3a2a69f6c27f8a9b03
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #297( 43 min )Console Output