Started 7 yr 5 mo ago
Took 32 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 678 | |
This run spent:
| |
Revision: 5477d6b1222f66a7a5235ade35640373ef1a91da | |
Revision: 6ec7f508dc517ffecf3060ae1d10b1de061f0850 |