CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2759	master	No date	`f86557b`	`f86557b`	`1feeec0`	`No`