Started 8 yr 2 mo ago
Took 1 hr 12 min
on worker4
No changes. | |
Started by upstream project isabelle-repo build number 147 | |
Revision: f17602cbf76a12b53afad49bed941ec67f2467e6 |
No changes. | |
Started by upstream project isabelle-repo build number 147 | |
Revision: f17602cbf76a12b53afad49bed941ec67f2467e6 |