Started 29 days ago
Took 1 hr 14 min on master

Failed Build #337 (Oct 14, 2019 4:48:10 PM)

Changes
  1. made NBA translation explicit (detail / bitbucket)
  2. merge (detail / bitbucket)
  3. add a section about Stellar's intact sets (detail / bitbucket)
  4. Add lemma strong_cluster_union (detail / bitbucket)
  5. Remove spurious W variable in locale assumption (detail / bitbucket)
  6. avoid sign_simps in favour of algebra_split_simps (detail / bitbucket)
  7. Moved some lemmas about limits to Complex_Main (detail / bitbucket)
  8. formally augmented corresponding rules for field_simps (detail / bitbucket)

Started by an SCM change

This run spent:

  • 7.3 sec waiting;
  • 1 hr 14 min build duration;
  • 1 hr 15 min total from scheduled to completion.
Revision: e92e80d9cb168d5b2c8ed1ef41d561bf975655e2
Resume build
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #337( 1 hr 14 min )Console Output