Skip to content
Started 5 yr 9 mo ago
Took 3 hr 32 min on built-in
Success

#1713 (Jun 26, 2018, 8:21:11 PM)

Changes
  1. adapted to Isabelle devel (detail / hgweb)
  2. perl v5.26+ doesn't like unescaped left braces (detail / hgweb)
  3. Adapted to new HOL-Algebra (detail / hgweb)

Started by an SCM change

This run spent:

  • 5.1 sec waiting;
  • 3 hr 32 min build duration;
  • 3 hr 32 min total from scheduled to completion.
Revision: affa9baa569132d79a0407f2ed2d5eddf5167474
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #1713( 1 hr 49 min )Console Output