Started 2 days 23 hr ago
Took 3 min 6 sec on master

Success Build #335 (Sep 20, 2019 3:24:08 AM)

Changes
  1. Implement equivalence relation with unfolding for LTL Master Theorem (detail / bitbucket)

Started by an SCM change

This run spent:

  • 6 sec waiting;
  • 3 min 6 sec build duration;
  • 3 min 13 sec total from scheduled to completion.
Revision: a2c03373dc205b795653bf796bef2d8ac635e13e
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #335( 3 min 3 sec )Console Output