CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2840	scheme	No date	`f3bab93`	`6de002a`	`ca9276b`	`No`
2841	bnn_checker	No date	`87cc789`	`6de002a`	`ca9276b`	`No`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2839	scheme	[May 26 12:28:44]	`427d309`	`6de002a`	`ca9276b`	`pavlova`
2838	opb-annot	[May 23 07:44:46]	`8fe5725`	`6de002a`	`ca9276b`	`pavlova`
2837	master	[May 21 13:30:21]	`6de002a`	`6de002a`	`ca9276b`	`lammmington`
2836	pmc	[May 21 13:30:21]	`0a75b1e`	`6de002a`	`ca9276b`	`pavlova`
2835	pmc	[May 20 07:22:14]	`e574307`	`6de002a`	`37389f3`	`pavlova`
2834	master	[May 18 02:05:38]	`6de002a`	`6de002a`	`37389f3`	`pavlova`
2833	halogentlepersuasion:pan_static_style	[May 17 00:21:33]	`c632358`	`2bd1643`	`37389f3`	`pavlova`
2832	master	[May 16 07:45:44]	`2bd1643`	`2bd1643`	`37389f3`	`lammmington`
2831	halogentlepersuasion:pan_static_style	[May 15 19:43:11]	`72574ed`	`2bd1643`	`37389f3`	`pavlova`
2830	master	[May 15 06:42:31]	`63412dd`	`63412dd`	`37389f3`	`lammmington`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2754	issue427	[Dec 16 02:47:29]	`a99466c`	`3f6d27d`	`1c3270d`	`pavlova`
2751	issue427	[Dec 13 23:11:28]	`b272340`	`3f6d27d`	`1c3270d`	`lammmington`
2748	parsingCompute	[Dec 13 03:41:51]	`c037f28`	`bad2940`	`1ad60c4`	`pavlova`
2672	master	[Oct 18 22:13:13]	`b94ca1d`	`b94ca1d`	`07c84bf`	`lammmington`
2671	pan_parseErrFix	[Oct 18 22:12:54]	`b562031`	`b94ca1d`	`07c84bf`	`pavlova`
2670	preserve	[Oct 18 22:12:46]	`f18c725`	`b94ca1d`	`07c84bf`	`pavlova`
2669	remove-simple-save_thm	[Oct 18 22:13:07]	`ee72b65`	`b94ca1d`	`07c84bf`	`lammmington`
2664	pan_parseErrFix	[Oct 18 19:19:58]	`b562031`	`b6191f1`	`07c84bf`	`lammmington`
2663	fix-npbc-grammar	[Oct 18 20:25:55]	`a927d0b`	`b6191f1`	`07c84bf`	`pavlova`
2641	remove-define	[Oct 07 14:31:48]	`7dfdee9`	`95fcf67`	`277f6ad`	`lammmington`