CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1904	master	[May 25 01:29:33]	`a986431`	`a986431`	`3e0b804`	`stove`
1903	Iced_cake	[May 24 18:33:14]	`8b37aa7`	`a986431`	`3e0b804`	`oven3`