Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 2 mo ago
Took 1 hr 7 min on worker4
Failed

#148 (Apr 14, 2016, 3:53:18 PM)

No changes.

Started by upstream project isabelle-repo build number 148

Revision: 1d066f6ab25d74f30ce9619c3d9d93578f67d1eb