CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2998	thunks	[Oct 03 21:03:35]	`7df18a4`	`6ddaf6f`	`a406a51`	`timtam`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2999	master	[Oct 03 07:52:36]	`6ddaf6f`	`6ddaf6f`	`a406a51`	`pavlova`
2997	moreDoubleAPI	[Oct 03 07:52:10]	`5ebcbbd`	`6ddaf6f`	`a406a51`	`pavlova`
2996	master	[Oct 02 17:50:51]	`6ddaf6f`	`6ddaf6f`	`9272772`	`timtam`
2995	thunks	[Oct 03 03:40:28]	`7df18a4`	`6ddaf6f`	`9272772`	`pavlova`
2994	moreDoubleAPI	[Oct 02 17:50:26]	`5ebcbbd`	`6ddaf6f`	`9272772`	`timtam`
2993	thunks	[Oct 02 11:38:39]	`7df18a4`	`6ddaf6f`	`77749ad`	`timtam`
2992	thunks	[Oct 01 19:27:59]	`356477c`	`6ddaf6f`	`77749ad`	`pavlova`
2991	master	[Oct 01 10:39:04]	`6ddaf6f`	`6ddaf6f`	`77749ad`	`timtam`
2990	thunks	[Oct 01 05:28:46]	`dca57e2`	`6ddaf6f`	`77749ad`	`pavlova`
2989	moreDoubleAPI	[Sep 30 15:47:31]	`5ebcbbd`	`6ddaf6f`	`77749ad`	`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`