Started 8 yr 2 mo ago
Took 3 hr 47 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 172 | |
Revision: f009347b9072b60ffd2162ed914970e6ee7dbb37 | |
Revision: 5ab855e4402cfba80cb00afb840fd16c19428d1a |