CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2792	pb_opt	No date	`115d4b7`	`ca2ab4d`	`08895ad`	`No`