Started 8 yr 4 mo ago
Took 2 hr 41 min
on worker3
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 21 | |
Revision: a594429637fdf018b1f6582bceb7b55ddef588aa | |
Revision: cefb0a05bdfca2b2b40584188c88043ce1ec76ad |