Started 8 yr 1 mo ago
Took 3 hr 53 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 186 | |
Revision: 3081f7719df741f8e1f48a8f5fb5c1a39612c831 | |
Revision: ecb3ab314e5e72cb00329ebd3547d7986850287e |