Started 8 yr 0 mo ago
Took 1 hr 5 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 270 | |
Revision: 9321740ae1d4ac05dd29c3d94da739f9e4f93c6d | |
Revision: c1704a7ccf72c9fe46790346e814c43e07178798 |