Started 6 yr 10 mo ago
Took 59 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1132 | |
This run spent:
| |
Revision: b17d41779768c997db17336667000a68513cc23e | |
Revision: 7f5699b4108276a91fb8b3a6a7d72b143d0f91d6 |