CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3422	master	[Jul 05 03:25:16]	`d4ce405`	`d4ce405`	`1d9f33a`	`pavlova`
3421	holprojs	[Jul 05 00:10:18]	`ad5fbb6`	`d4ce405`	`1d9f33a`	`timtam`