CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3610	data_to_word_num	[Oct 14 02:43:25]	`ae6cffb`	`f731894`	`652d1f0`	`fairybread`
3609	lift_constants	[Oct 14 06:53:09]	`695dece`	`f731894`	`652d1f0`	`bikkie`
3608	didriklundberg:socketio	[Oct 14 06:58:37]	`f8451a1`	`f731894`	`652d1f0`	`spagbol`