Started 8 yr 0 mo ago
Took 3 hr 41 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 255 | |
Revision: 67c38b9ea2fba7a806a8a701a735ef85fa879603 | |
Revision: b7fbd25551de4e30353b159f7b3106512d64e605 |