Started 7 yr 5 mo ago
Took 57 min
on workermta3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 698 | |
This run spent:
| |
Revision: eb019ab30bdca5895af259f802d63d28362d19dd |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 698 | |
This run spent:
| |
Revision: eb019ab30bdca5895af259f802d63d28362d19dd |