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

#28 (Feb 20, 2016, 9:26:20 AM)

No changes.

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

Revision: 95c6cf433c9188e55f279d71bcb16b3b6f5bf325