Skip to content
Started 7 yr 9 mo ago
Took 1 hr 29 min on workermta2
Success

#436 (Sep 13, 2016, 9:24:12 AM)

Build Artifacts
No changes.

Started by upstream project isabelle-repo build number 436
originally caused by:

Revision: caae34eabcef8b45abf3fac261ff7defe58d63d4
Revision: 88ebc309096af964a89f88a72e175fcaa4608412