CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2697	master	No date	`d8b47ad`	`d8b47ad`	`2de6b3c`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2696	master	[Nov 12 22:05:17]	`6437d8c`	`6437d8c`	`2de6b3c`	`pavlova`
2695	master	[Nov 13 06:16:45]	`8c68847`	`8c68847`	`2de6b3c`	`lammmington`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2694	parse_err	[Nov 12 20:20:42]	`d78cf7f`	`d7d69e2`	`2de6b3c`	`pavlova`
2693	use_eval_raw	[Nov 12 18:57:02]	`5beb1d1`	`4dea053`	`2de6b3c`	`lammmington`
2692	annot_change	[Nov 10 02:11:42]	`468f99b`	`4dea053`	`2de6b3c`	`pavlova`
2691	master	[Nov 02 10:25:25]	`4dea053`	`4dea053`	`2de6b3c`	`lammmington`
2690	master	[Oct 31 18:15:06]	`4dea053`	`4dea053`	`a1ea6a0`	`pavlova`
2689	master	[Oct 31 17:57:13]	`78c6dc1`	`78c6dc1`	`a1ea6a0`	`lammmington`
2688	pan_parseErrFix	[Oct 29 23:09:48]	`3a97457`	`c63efd4`	`07c84bf`	`pavlova`
2687	master	[Oct 27 01:53:41]	`c63efd4`	`c63efd4`	`07c84bf`	`lammmington`
2686	pan_parseErrFix	[Oct 26 11:10:40]	`356f16f`	`c63efd4`	`07c84bf`	`pavlova`
2685	remove-libscript	[Oct 25 22:01:35]	`664c2aa`	`a9e270a`	`07c84bf`	`lammmington`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
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`
2630	master	[Sep 30 16:06:33]	`71062c5`	`71062c5`	`e1640d9`	`lammmington`
2629	remove-tDefine-paren-matching	[Sep 30 13:01:25]	`71e1738`	`71062c5`	`e1640d9`	`pavlova`
2628	master	[Oct 01 09:10:24]	`283d306`	`283d306`	`e1640d9`	`stove`