Started 6 yr 10 mo ago
Took 15 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1150 | |
This run spent:
| |
Revision: 1af360d1cad257a3302621ee9f9bed14d4476c96 | |
Revision: 5de6e5f5ec6c78f75c5df6ddab4c46f459cc3717 |