Started 8 yr 2 mo ago
Took 3 hr 14 min
on worker2
No changes. | |
Started by upstream project isabelle-repo build number 147 | |
Revision: f17602cbf76a12b53afad49bed941ec67f2467e6 | |
Revision: 925e5c55902d3583d1c64b6460830237b0cadaa4 |
No changes. | |
Started by upstream project isabelle-repo build number 147 | |
Revision: f17602cbf76a12b53afad49bed941ec67f2467e6 | |
Revision: 925e5c55902d3583d1c64b6460830237b0cadaa4 |