CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3535	pb-solx	No date	`6489a20`	`e0f3254`	`dfff742`	`No`
3534	xlrup	No date	`7170c25`	`e0f3254`	`dfff742`	`No`