CakeML Regression Test

running (all)

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