Started 6 yr 4 mo ago
Took 1 hr 40 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1466 | |
This run spent:
| |
Revision: 9f9f64fe170582c5cb02004c9ff6d5c83c6264ab | |
Revision: 87ff8e7e553deb77d49df905b7636531f5ba625f |