CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3357	master	No date	`585f985`	`585f985`	`c7b52ad`	`No`