Started 7 yr 6 mo ago
Took 39 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 674 | |
This run spent:
| |
Revision: 6440577e34eee461ffc4c537980a769bc84f2191 | |
Revision: c38d81f1fd063e50fb6b4867f87e77c35271f735 |