CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3660	master	[Nov 03 11:28:28]	`094ed71`	`094ed71`	`9783a49`	`spagbol`
3659	sequent-dev-bot:bot/sol/cakeml-proof-improvements	[Nov 03 11:25:09]	`acc28e9`	`094ed71`	`9783a49`	`bikkie`