Started 7 yr 4 mo ago
Took 1 hr 25 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 775 | |
This run spent:
| |
Revision: 799bbbb3a39515af96461fb25deb37e3dc584dbb | |
Revision: 16d365a11dd83eceaaefa6ad76c090e9ee7e510e |