Started 7 yr 2 mo ago
Took 22 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 860 | |
This run spent:
| |
Revision: 8376f83f909458ddba232454b62258b5f7ed5a06 | |
Revision: a663f5cf7dfa08be77d2b38691946bff7e0d4042 |