Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 3 mo ago
Took 3 hr 35 min on worker2
Failed

#129 (Apr 4, 2016, 5:53:20 PM)

No changes.

Started by upstream project isabelle-repo build number 129

Revision: 313d3b697c9a4724fc2e8d01ef6d021f6ed02b4a
Revision: 7ccff65d13e8c05f429b317f34411f7320337e14