CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2494	pancake-explorer	[Jul 27 06:39:38]	`83d1fea`	`05aaba5`	`c37de73`	`stove`
2493	master	[Jul 26 22:40:10]	`05aaba5`	`05aaba5`	`c37de73`	`lammmington`