Started 8 yr 3 mo ago
Took 59 min
on worker1
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 86 | |
Revision: b5ec623952d2ddfc59e4e5a42b2d60ae3ddfa935 |
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 86 | |
Revision: b5ec623952d2ddfc59e4e5a42b2d60ae3ddfa935 |