Started 8 yr 2 mo ago
Took 3 hr 25 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 174 | |
Revision: 3ca3bc795908ff9847380afcca1e4692febeea18 | |
Revision: a496930ec0db2516fb0e37498b8e48421e456024 |