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

#4 (Feb 1, 2016, 11:14:18 PM)

No changes.

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

Revision: 0e17a97234bdca94f1b66c0e14894b608d7836fe
Revision: 13830672131964738d9b1800c970e7544c3485d2