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

#27 (Feb 19, 2016, 5:37:05 PM)

No changes.

Started by upstream project "isabelle-repo-checkin" build number 27

Revision: 7b5468422352fd106a4d305c7aec73d3e90bea5c