Started 8 yr 0 mo ago
Took 4 hr 5 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 228 | |
Revision: f59fd6cc935e02ee3b548528eb1ccce5ded476b0 | |
Revision: 0530819ce69bd965a54a24fd6b376acf3ba3f6ef |