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

#143 (Apr 12, 2016, 4:44:21 PM)

No changes.

Started by upstream project isabelle-repo build number 143

Revision: 8b85a554c5c4aee713947c8e9b52398761d1c443
Revision: eb5b30d684b096c728df5f15a2413428c6da3ee7