CakeML Regression Test

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2885	master	[Jul 09 09:22:26]	`e47ca2d`	`e47ca2d`	`a81865b`	`lammmington`
2884	master	[Jul 09 08:03:19]	`e47ca2d`	`e47ca2d`	`718b3aa`	`lammmington`
2883	dafny-new	[Jul 08 07:11:17]	`a609335`	`a2d4bc2`	`718b3aa`	`lammmington`
2882	master	[Jul 02 05:22:33]	`a2d4bc2`	`a2d4bc2`	`718b3aa`	`lammmington`
2881	master	[Jul 01 10:47:15]	`26fdfd0`	`26fdfd0`	`718b3aa`	`lammmington`
2880	scheme	[Jun 30 16:24:22]	`0983d75`	`95250d9`	`718b3aa`	`lammmington`
2879	halogentlepersuasion:pan_prog_conv	[Jun 29 21:42:37]	`5d137c6`	`95250d9`	`718b3aa`	`lammmington`
2878	scheme	[Jun 29 03:07:15]	`2a9deab`	`95250d9`	`718b3aa`	`lammmington`
2877	scheme	[Jun 25 13:04:46]	`2a9deab`	`b378040`	`718b3aa`	`lammmington`
2876	master	[Jun 25 10:03:38]	`b378040`	`b378040`	`718b3aa`	`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`