Skip to content
Started 7 yr 9 mo ago
Took 1 hr 21 min on worker2
Failed

#249 (Jun 15, 2016, 4:53:17 PM)

Build Artifacts
No changes.

Started by upstream project isabelle-repo build number 249

Revision: 3b69758756331faf4c267e4051862fe7f0eef9dc