CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3425	master	No date	`87abd8d`	`87abd8d`	`f18e6e7`	`No`
3424	holprojs	No date	`c75888c`	`87abd8d`	`f18e6e7`	`No`