Started 6 yr 10 mo ago
Took 1 hr 34 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 989 | |
This run spent:
| |
Revision: 4a5589dd8e1a8747fc63a0a499d2df6beb1bb996 | |
Revision: ba21813cef4233341500c170303b30fdc9e197a1 |