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

#155 (Apr 17, 2016, 11:05:17 PM)

No changes.

Started by upstream project isabelle-repo build number 155

Revision: 89d19aa73081a487d42f8d96dbb592aa95e550d9
Revision: cac201d3f3f938023512103292c8ac3ca4ff7452