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

#135 (Apr 7, 2016, 8:38:18 PM)

No changes.

Started by upstream project isabelle-repo build number 135

Revision: 9ad0bac25a84688a5349875add284f8a25496b7b
Revision: 000f8972bbd1bab00773ce92abb279ef0961c5c8