Started 6 yr 10 mo ago
Took 56 min
on workermta3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1063 | |
This run spent:
| |
Revision: 2a6371fb31f053bd54ab02f730c53f0b5fb9f945 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1063 | |
This run spent:
| |
Revision: 2a6371fb31f053bd54ab02f730c53f0b5fb9f945 |