CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3356	master	[May 25 14:08:35]	`35898f2`	`35898f2`	`c7b52ad`	`timtam`
3355	pancake-add-inst	[May 25 14:10:03]	`5ea273e`	`35898f2`	`c7b52ad`	`pavlova`