Started 1 day 23 hr ago
Took 1 hr 23 min on master

Failed Build #363 (Feb 18, 2020 12:06:10 AM)

Changes
  1. added equivalence and automata tool (detail / bitbucket)
  2. streamlined NBA translation (detail / bitbucket)
  3. a few new lemmas (detail / bitbucket)

Started by an SCM change

This run spent:

  • 8.3 sec waiting;
  • 1 hr 23 min build duration;
  • 1 hr 23 min total from scheduled to completion.
Revision: cd0b90f7688dd7040982c36f66672baa9fa5d5e7
Resume build
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #363( 1 hr 23 min )Console Output