CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2807	master	[Apr 16 07:33:11]	`8373608`	`8373608`	`48a676c`	`pavlova`