Started 7 yr 1 mo ago
Took 51 min
on workermta3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 922 | |
This run spent:
| |
Revision: b6d458915f1bd69336293bb86bd4fc000b0cfccd |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 922 | |
This run spent:
| |
Revision: b6d458915f1bd69336293bb86bd4fc000b0cfccd |