CakeML Regression Test

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3076	master	[Dec 10 23:33:49]	`3c7122a`	`3c7122a`	`f02a261`	`pavlova`
3075	checkthm_fastbuild	[Dec 10 08:14:17]	`44b4499`	`65df60f`	`f02a261`	`lammmington`
3074	master	[Dec 09 21:24:01]	`65df60f`	`65df60f`	`f02a261`	`pavlova`
3073	checkthm_fastbuild	[Dec 09 17:06:12]	`a3a3dd8`	`65df60f`	`f02a261`	`lammmington`
3072	simple-example	[Dec 09 00:15:00]	`eb10376`	`ca306e7`	`f02a261`	`lammmington`
3071	master	[Dec 07 04:49:25]	`ca306e7`	`ca306e7`	`f02a261`	`lammmington`
3070	checkthm_fastbuild	[Dec 07 00:40:49]	`a3a3dd8`	`ca306e7`	`f02a261`	`pavlova`
3069	xor-eax-eax	[Dec 06 10:04:24]	`bf0d6f3`	`fa305e3`	`f02a261`	`pavlova`
3068	useThmsetdataslightlybetter	[Dec 06 00:28:36]	`e029957`	`fa305e3`	`f02a261`	`lammmington`
3067	dafny-improvements	[Dec 05 17:11:27]	`58224e3`	`fa305e3`	`f02a261`	`timtam`

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`