Skip to content
Started 6 yr 8 mo ago
Took 3 hr 15 min on built-in
Success

#1271 (Nov 3, 2017, 7:55:05 PM)

Changes
  1. avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0; (detail / hgweb)
  2. delegate boundary cases to existing IntInf.pow; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 3 sec waiting;
  • 3 hr 15 min build duration;
  • 3 hr 20 min total from scheduled to completion.
Revision: 17eb23e4363051bba83f857bea26fa363cb5694e
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1271( 1 hr 1 min )Console Output
isabelle-repo-afpbuild #1271( 1 hr 36 min )Console Output