Started 8 yr 1 mo ago
Took 3 hr 55 min
on worker1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 187 | |
Revision: 201480e65b7d2a717bdb36d28c2f54c6a063051b | |
Revision: 55c683570c1678f85d60fbd932d60ff32922a7c8 |