CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3286	master	[Mar 25 15:05:38]	`4e312c0`	`4e312c0`	`63f2eb9`	`lammmington`
3285	configurable-repl-boot-file	[Mar 25 14:55:59]	`ba519b7`	`4e312c0`	`63f2eb9`	`pavlova`
3282	remove-doubleffi	[Mar 25 14:23:54]	`568547f`	`f2c8652`	`63f2eb9`	`timtam`