CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2896	master	No date	`438ba42`	`438ba42`	`a81865b`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2895	xletautodeadcode	[Jul 31 05:50:18]	`3751856`	`438ba42`	`a81865b`	`lammmington`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2894	master	[Jul 23 17:22:17]	`0ad2dd2`	`0ad2dd2`	`a81865b`	`pavlova`
2893	master	[Jul 23 00:12:19]	`3dad466`	`3dad466`	`a81865b`	`lammmington`
2892	improve_clos_to_bvl	[Jul 22 21:55:43]	`639de5e`	`04d24f7`	`a81865b`	`pavlova`
2891	master	[Jul 22 04:52:01]	`77fdf7b`	`77fdf7b`	`a81865b`	`lammmington`
2890	bnn_checker	[Jul 22 02:51:18]	`b8acf0a`	`77fdf7b`	`a81865b`	`pavlova`
2889	interp-fix	[Jul 21 09:52:52]	`6965d96`	`195b23a`	`a81865b`	`lammmington`
2888	master	[Jul 21 07:41:51]	`195b23a`	`195b23a`	`a81865b`	`pavlova`
2887	scheme	[Jul 20 15:10:02]	`d15e185`	`c6b44e0`	`a81865b`	`lammmington`
2886	interp-fix	[Jul 20 12:51:37]	`6965d96`	`c6b44e0`	`a81865b`	`pavlova`
2885	master	[Jul 09 09:22:26]	`e47ca2d`	`e47ca2d`	`a81865b`	`lammmington`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
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`
2863	master	[Jun 17 06:15:41]	`b378040`	`b378040`	`86a75cd`	`oven2`
2862	scheme	[Jun 17 06:09:08]	`2a9deab`	`b378040`	`86a75cd`	`lammmington`
2861	master	[Jun 17 05:48:57]	`b378040`	`b378040`	`86a75cd`	`pavlova`
2860	scheme	[Jun 17 05:40:53]	`2a9deab`	`b378040`	`86a75cd`	`oven2`
2859	scheme	[Jun 17 05:25:40]	`2a9deab`	`b378040`	`86a75cd`	`oven2`