Started 7 yr 9 mo ago
Took 1 hr 33 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 468 | |
This run spent:
| |
Revision: f353674c2528a121ccbcc6f6ecd2404375bf71d2 | |
Revision: 01a8ce87ba5d15f083f51c74d0ac0f3a1417ad40 |