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

#130 (Apr 4, 2016, 10:44:17 PM)

No changes.

Started by upstream project isabelle-repo build number 130

Revision: a8758f47f9e8adfc64e207553da4099e30899f92
Revision: 7ccff65d13e8c05f429b317f34411f7320337e14