CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2369	master	No date	`9c063a7`	`9c063a7`	`244c07d`	`No`
2368	master	No date	`b82ce2d`	`9c063a7`	`244c07d`	`No`