CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3017	master	[Oct 24 03:17:36]	`1efe1f5`	`1efe1f5`	`72e78b2`	`pavlova`
3016	moreDoubleAPI	[Oct 24 03:14:46]	`d62e16a`	`1efe1f5`	`72e78b2`	`timtam`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3015	moreDoubleAPI	[Oct 23 17:56:00]	`0c7418d`	`96c66f0`	`72e78b2`	`pavlova`
3014	faster-textioproof	[Oct 24 01:13:34]	`c8fb263`	`96c66f0`	`72e78b2`	`timtam`
3013	master	[Oct 22 09:00:12]	`96c66f0`	`96c66f0`	`72e78b2`	`timtam`
3012	moreDoubleAPI	[Oct 21 16:08:43]	`0640ddb`	`96c66f0`	`72e78b2`	`timtam`
3011	master	[Oct 21 22:02:02]	`54a5173`	`54a5173`	`72e78b2`	`pavlova`
3010	moreDoubleAPI	[Oct 21 05:23:05]	`0640ddb`	`54a5173`	`72e78b2`	`timtam`
3009	pb_int_rhs	[Oct 21 05:14:35]	`e853c04`	`54a5173`	`72e78b2`	`pavlova`
3008	varkind_cleanup	[Oct 21 03:57:30]	`9cf5f4b`	`54a5173`	`72e78b2`	`timtam`
3007	moreDoubleAPI	[Oct 20 09:48:23]	`623840b`	`54a5173`	`72e78b2`	`pavlova`
3006	master	[Oct 16 10:08:46]	`45d0ee6`	`45d0ee6`	`72e78b2`	`pavlova`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
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`
2869	halogentlepersuasion:pan_prog_conv	[Jun 24 17:08:41]	`5d137c6`	`b378040`	`98d19aa`	`lammmington`
2868	scheme	[Jun 24 17:08:33]	`2a9deab`	`b378040`	`98d19aa`	`pavlova`
2864	master	[Jun 17 10:13:20]	`b378040`	`b378040`	`86a75cd`	`oven2`