Started 7 yr 5 mo ago
Took 4 min 35 sec
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 689 | |
This run spent:
| |
Revision: a73ac955822086a274c10d9d35d2c135630d531e | |
Revision: b7ecd80022ed62ac189dd59abe5fc6c12ae45364 |