Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 1 mo ago
Took 3 hr 52 min on built-in
Failed

#212 (May 24, 2016, 2:33:25 PM)

Changes
  1. Merge (detail / hgweb)
  2. Merge (detail / hgweb)
  3. renaming of subspace_sub (detail / hgweb)
  4. merge from afp-2016 (detail / hgweb)
  5. new entry Card_Equiv_Relations (detail / hgweb)
  6. new entry Posix-Lexing (detail / hgweb)
  7. merged (detail / hgweb)
  8. adapted to name change in HOL (detail / hgweb)

Started by an SCM change

Revision: 0926d0e7c628161780fada6f6ec3d0f4700e7079
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #212( 3 hr 52 min )Console Output