CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3017	master	[Oct 24 15:44:45]	`1efe1f5`	`1efe1f5`	`72e78b2`	`pavlova`
3016	moreDoubleAPI	[Oct 24 15:51:12]	`d62e16a`	`1efe1f5`	`72e78b2`	`timtam`