Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 11 mo ago
Took 1 hr 10 min on built-in
Success

#327 (Jul 27, 2016, 10:57:03 AM)

Changes
  1. NEWS: Primes (detail / hgweb)

Started by an SCM change

Revision: 2112e5fe9712ab737380c128c4568b536abf7008
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #327( 1 hr 10 min )Console Output
isabelle-repo-afpbuild #327( 1 hr 7 min )Console Output