CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2376	cf-fixes	[Apr 24 19:07:31]	`b28ac1d`	`9c063a7`	`12c611b`	`stove`
2374	master	[Apr 24 17:21:08]	`b82ce2d`	`9c063a7`	`12c611b`	`pavlova`
2373	master	[Apr 24 12:04:22]	`9c063a7`	`9c063a7`	`244c07d`	`lammmington`