CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3287	noparse	No date	`6e2de3d`	`4e312c0`	`63f2eb9`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3286	master	[Mar 25 13:42:33]	`4e312c0`	`4e312c0`	`63f2eb9`	`lammmington`
3285	configurable-repl-boot-file	[Mar 25 13:42:48]	`ba519b7`	`4e312c0`	`63f2eb9`	`pavlova`
3282	remove-doubleffi	[Mar 25 13:39:26]	`568547f`	`f2c8652`	`63f2eb9`	`timtam`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3284	noparse	[Mar 25 04:14:13]	`e6772b7`	`4e312c0`	`63f2eb9`	`pavlova`
3283	talsewell:array-heap-sort-cleanup	[Mar 25 06:36:59]	`5387eac`	`4e312c0`	`63f2eb9`	`lammmington`
3281	noparse	[Mar 24 22:22:46]	`e6772b7`	`f2c8652`	`63f2eb9`	`timtam`
3280	customFFI	[Mar 25 01:59:00]	`700eca3`	`f2c8652`	`63f2eb9`	`lammmington`
3279	master	[Mar 25 01:29:19]	`f2c8652`	`f2c8652`	`63f2eb9`	`pavlova`
3278	talsewell:array-heap-sort-cleanup	[Mar 24 09:12:36]	`5387eac`	`f2c8652`	`63f2eb9`	`lammmington`
3277	remove-doubleffi	[Mar 24 22:18:03]	`568547f`	`7fe309a`	`63f2eb9`	`timtam`
3276	master	[Mar 24 08:45:46]	`7fe309a`	`7fe309a`	`63f2eb9`	`pavlova`
3275	SmartOp2_thm	[Mar 24 06:00:22]	`cb99e92`	`7fe309a`	`63f2eb9`	`timtam`
3274	unverified-boot	[Mar 24 06:14:13]	`043e3d1`	`7fe309a`	`63f2eb9`	`lammmington`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3242	noparse	[Mar 04 19:24:36]	`4666b47`	`48ce8d3`	`e6d0417`	`timtam`
3141	mcandidate-fix	[Jan 15 13:43:52]	`cfbbc19`	`680922b`	`46bd0da`	`timtam`
3122	vname	[Jan 10 18:14:40]	`94b601b`	`3164c9b`	`f02a261`	`rita`
2950	16bit	[Aug 24 13:28:23]	`5d47314`	`e0f8aef`	`466a40a`	`lammmington`
2949	halogentlepersuasion:pan_shape_check	[Aug 24 13:26:23]	`192db9b`	`e0f8aef`	`466a40a`	`timtam`
2948	master	[Aug 24 06:10:45]	`e0f8aef`	`e0f8aef`	`466a40a`	`lammmington`
2939	revisedFloats	[Aug 22 09:07:53]	`bf32a6e`	`b68e46f`	`466a40a`	`lammmington`
2932	master	[Aug 21 08:47:07]	`6ba6ad6`	`6ba6ad6`	`466a40a`	`lammmington`
2874	scheme	[Jun 25 08:54:22]	`2a9deab`	`b378040`	`718b3aa`	`pavlova`
2870	scheme	[Jun 24 17:13:22]	`2a9deab`	`b378040`	`98d19aa`	`lammmington`