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

#414 (Sep 6, 2016, 11:58:45 AM)

Changes
  1. extended ML signature + refactored (detail / hgweb)
  2. extended ML signature (detail / hgweb)
  3. generalized code (subtly) (detail / hgweb)

Started by an SCM change (2 times)

Revision: 83841a5c08973401ea25be9882932d5e433a6af6
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #414( 1 hr 8 min )Console Output
isabelle-repo-afpbuild #414( 1 hr 26 min )Console Output