CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3357	master	No date	`585f985`	`585f985`	`c7b52ad`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3356	master	[May 25 14:08:35]	`35898f2`	`35898f2`	`c7b52ad`	`timtam`
3355	pancake-add-inst	[May 25 14:10:03]	`5ea273e`	`35898f2`	`c7b52ad`	`pavlova`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3354	pancake-add-inst	[May 23 17:31:11]	`5ea273e`	`35898f2`	`9bc5126`	`lammmington`
3353	master	[May 22 21:48:29]	`35898f2`	`35898f2`	`9bc5126`	`lammmington`
3352	loop-break-n	[May 22 21:43:37]	`30ffe1b`	`8f45236`	`9bc5126`	`lammmington`
3351	master	[May 22 10:35:35]	`7ed0687`	`7ed0687`	`9bc5126`	`lammmington`
3350	perf-call-graph	[May 22 10:32:27]	`3ef243e`	`7ed0687`	`9bc5126`	`lammmington`
3349	loop-break-n	[May 22 09:56:57]	`30ffe1b`	`7ed0687`	`9bc5126`	`lammmington`
3347	loop-break-n	[May 21 05:04:25]	`408f2a2`	`7ed0687`	`60700bd`	`timtam`
3346	master	[May 21 00:36:49]	`7ed0687`	`7ed0687`	`013245b`	`timtam`
3345	loop-break-n	[May 20 21:41:27]	`13aa36a`	`f4a85a3`	`60700bd`	`timtam`
3344	talsewell:pan_shape_merge3	[May 20 23:06:05]	`a9c72c4`	`f4a85a3`	`60700bd`	`pavlova`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3348	mcandidate-fix	[May 21 06:42:52]	`7b20727`	`7ed0687`	`013245b`	`pavlova`
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`