Started 7 yr 1 mo ago
Took 1 hr 31 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 928 | |
This run spent:
| |
Revision: 440fe0937b92a4884c79562291dfb3f5d6732893 | |
Revision: 49bcc3dcdc2e2b28493d0f3d89350c323fc7f76e |