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

#428 (Sep 11, 2016, 7:28:35 PM)

Changes
  1. merged (detail / hgweb)
  2. more simp rules (detail / hgweb)

Started by an SCM change

Revision: 9c22a97b767445cc323e6e7a3b5d9000b9c344e2
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #428( 1 hr 12 min )Console Output
isabelle-repo-afpbuild #428( 1 hr 18 min )Console Output