Started 7 yr 9 mo ago
Took 1 hr 22 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 467 | |
This run spent:
| |
Revision: d4b89572ae718d1e6e112a619169321fa4a2bf4f | |
Revision: 462c7ce29e508809c2841ca28bd3aa202a971e4c |