CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3071	master	[Dec 06 23:39:16]	`ca306e7`	`ca306e7`	`f02a261`	`lammmington`
3070	checkthm_fastbuild	[Dec 06 23:42:21]	`a3a3dd8`	`ca306e7`	`f02a261`	`pavlova`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
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`
3066	checkthm_fastbuild	[Dec 05 00:44:27]	`a3a3dd8`	`fa305e3`	`f02a261`	`lammmington`
3065	master	[Dec 05 00:03:07]	`fa305e3`	`fa305e3`	`f02a261`	`timtam`
3064	pancake_itree_sem2	[Dec 05 02:27:40]	`16f901e`	`fa305e3`	`f02a261`	`pavlova`
3063	xor-eax-eax	[Dec 04 13:14:55]	`194173c`	`fa305e3`	`f02a261`	`lammmington`
3062	scheme_redex	[Dec 04 08:21:17]	`35afe78`	`f83f947`	`f02a261`	`timtam`
3061	xor-eax-eax	[Dec 03 12:58:55]	`194173c`	`f83f947`	`f02a261`	`pavlova`
3060	master	[Nov 28 23:13:18]	`f83f947`	`f83f947`	`f02a261`	`lammmington`

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`