CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3499	master	[Sep 03 19:17:38]	`857f0d9`	`857f0d9`	`e395eb6`	`pavlova`