CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2807	master	[Apr 16 07:33:11]	`8373608`	`8373608`	`48a676c`	`pavlova`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2806	remove-set-skip	[Apr 12 11:19:27]	`5b0d4a4`	`8ea3640`	`48a676c`	`lammmington`
2805	remove-set-skip	[Apr 11 22:03:54]	`a70d3e9`	`8ea3640`	`48a676c`	`pavlova`
2804	master	[Apr 11 09:12:24]	`8ea3640`	`8ea3640`	`48a676c`	`pavlova`
2803	master	[Apr 10 10:49:48]	`8ea3640`	`8ea3640`	`e64fb78`	`pavlova`
2802	master	[Apr 10 01:46:15]	`8ea3640`	`8ea3640`	`aa26666`	`pavlova`
2801	master	[Apr 09 04:27:56]	`7aca9c9`	`7aca9c9`	`aa26666`	`lammmington`
2800	lexer-fix	[Apr 09 04:20:55]	`c8aedc5`	`7aca9c9`	`aa26666`	`pavlova`
2799	lexer-fix	[Apr 08 06:20:56]	`4dc2782`	`e7e9834`	`aa26666`	`pavlova`
2798	upstream_MD5	[Apr 07 18:02:35]	`0828fa1`	`e7e9834`	`aa26666`	`lammmington`
2797	lexer-fix	[Apr 07 04:15:16]	`b0d5951`	`e7e9834`	`aa26666`	`pavlova`

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`