CakeML Regression Test

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2772	master	[Feb 08 09:17:48]	`e0e8a40`	`e0e8a40`	`8c4bb7e`	`lammmington`
2771	master	[Feb 05 12:50:04]	`7479d36`	`7479d36`	`8c4bb7e`	`pavlova`
2770	remove_Misc_bool_case_eq	[Feb 05 10:47:04]	`c72a789`	`7479d36`	`8c4bb7e`	`lammmington`
2769	master	[Feb 04 15:52:46]	`b2c2774`	`b2c2774`	`5c11317`	`pavlova`
2768	remove_list_max	[Jan 27 07:19:11]	`c00a373`	`b2c2774`	`5c11317`	`pavlova`
2767	1124-remove-misctheoryalist_insert_pull_insert	[Jan 26 12:47:45]	`9d8f905`	`7a0bcc6`	`5c11317`	`pavlova`
2766	remove_list_max	[Jan 25 18:44:29]	`777e7d3`	`7a0bcc6`	`5c11317`	`lammmington`
2765	master	[Jan 23 23:49:49]	`7a0bcc6`	`7a0bcc6`	`5c11317`	`lammmington`
2764	master	[Jan 23 04:39:54]	`1fc6f80`	`1fc6f80`	`5c11317`	`lammmington`
2763	ordinarymath-patch-1	[Jan 23 04:41:53]	`f8f23fa`	`1fc6f80`	`5c11317`	`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`