Started 8 yr 0 mo ago
Took 1 hr 8 min
on workermta3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 273 | |
Revision: 3c7c9f726cc323f518497b995d4c217397772269 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 273 | |
Revision: 3c7c9f726cc323f518497b995d4c217397772269 |