Started 6 yr 4 mo ago
Took 3 min 19 sec
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1458 | |
This run spent:
| |
Revision: 3dd0dfe04fcb6a5a44f214b071300a2ee5dee8fb | |
Revision: bdc33852f7cdf848d791f712ad2d34b107cc0cdb |