CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3242	noparse	[Mar 04 19:24:36]	`4666b47`	`48ce8d3`	`e6d0417`	`timtam`