CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2697	master	[Nov 14 06:28:52]	`d8b47ad`	`d8b47ad`	`2de6b3c`	`pavlova`