Started 7 yr 2 mo ago
Took 40 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 861 | |
This run spent:
| |
Revision: 32d4117ad6e8070a813a393bb40da97732af4f60 | |
Revision: d8029bd41c4cd90a77a5824af44cc44fdfdffdc9 |