Started 6 yr 10 mo ago
Took 59 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1101 | |
This run spent:
| |
Revision: 495df623251763a83d15e86c3c5d75c2513f07df | |
Revision: 134098eb654831c8bb6b25860f2d7d9e02a7f3ee |