Started 8 yr 0 mo ago
Took 1 hr 16 min
on worker3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 257 | |
Revision: 0c89eef797017a1769f32dbf59c7b83f0010dc37 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 257 | |
Revision: 0c89eef797017a1769f32dbf59c7b83f0010dc37 |