Started 7 yr 10 mo ago
Took 1 hr 11 min
on workermta3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 420 | |
Revision: ca8b737b08cf7645c73dc8ef466d5c66010853a8 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 420 | |
Revision: ca8b737b08cf7645c73dc8ef466d5c66010853a8 |