CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2792	pb_opt	No date	`115d4b7`	`ca2ab4d`	`08895ad`	`No`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2791	master	[Mar 28 04:12:10]	`ca2ab4d`	`ca2ab4d`	`08895ad`	`pavlova`
2790	streamline-license	[Mar 26 04:27:37]	`ba36047`	`a35df61`	`08895ad`	`lammmington`
2789	halogentlepersuasion:pan_static_patch	[Mar 26 04:34:09]	`12f540b`	`a35df61`	`08895ad`	`pavlova`
2788	update_README	[Mar 25 05:34:21]	`23b6b4f`	`e9cafe6`	`08895ad`	`lammmington`
2787	remove_more_misc	[Mar 25 05:41:37]	`7fdf474`	`e9cafe6`	`08895ad`	`pavlova`
2786	dnezam-patch-1	[Mar 20 20:47:26]	`34d3cde`	`da16af4`	`e7ae250`	`pavlova`
2785	issue792	[Mar 20 09:57:32]	`bc11d5c`	`07721ce`	`e7ae250`	`lammmington`
2784	dnezam-patch-1	[Mar 20 03:30:00]	`34d3cde`	`07721ce`	`e7ae250`	`pavlova`
2783	master	[Mar 12 21:52:45]	`07721ce`	`07721ce`	`cfe1ccc`	`lammmington`
2782	dnezam-patch-1	[Mar 12 15:26:46]	`34d3cde`	`07721ce`	`cfe1ccc`	`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`