CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3325	rup_refactor	No date	`98d9713`	`785b648`	`60700bd`	`No`
3324	fix-491	No date	`9f3aa95`	`785b648`	`60700bd`	`No`