CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3071	master	[Dec 07 01:01:28]	`ca306e7`	`ca306e7`	`f02a261`	`lammmington`