Started 7 yr 10 mo ago
Took 1 hr 9 min
on workermta4
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 391 | |
Revision: dd327befd2ef2ed9965d2d92d9aa7bfc34be1328 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 391 | |
Revision: dd327befd2ef2ed9965d2d92d9aa7bfc34be1328 |