Started 6 yr 9 mo ago
Took 4 min 1 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1197 | |
This run spent:
| |
Revision: 006deaf5c3dcd9a623eb8434e691099a47fe24ec | |
Revision: 3bea1e22a4aa0f8e7ce61caa88242f19cf5a3c7c |