Started 7 yr 9 mo ago
Took 1 hr 19 min
on workermta4
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 504 | |
This run spent:
| |
Revision: 6d770c2dc60d3ac5d3d965fd9871df6bb2944326 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 504 | |
This run spent:
| |
Revision: 6d770c2dc60d3ac5d3d965fd9871df6bb2944326 |