Started 8 yr 1 mo ago
Took 1 hr 20 min
on worker1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 197 | |
Revision: b29a8f57e3a0d1c91fe59e55b57a625646a40de4 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 197 | |
Revision: b29a8f57e3a0d1c91fe59e55b57a625646a40de4 |