CakeML Regression Test

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1055	master	[Oct 18 05:23:27]	`dc73bd8`	`dc73bd8`	`4f67f38`	`oven2`
1054	master	[Oct 15 03:34:36]	`dc73bd8`	`dc73bd8`	`c80b328`	`stove`
1053	remove-oom	[Oct 12 23:23:23]	`a196c5d`	`c83d628`	`c80b328`	`oven2`
1052	master	[Oct 11 21:10:00]	`c83d628`	`c83d628`	`c80b328`	`te1`
1051	rename-compile-error	[Oct 11 09:08:07]	`7b35d2a`	`b8b2069`	`c80b328`	`oven3`
1050	rename-compile-error	[Oct 09 01:42:16]	`59dcc2b`	`b8b2069`	`c80b328`	`stove`
1049	match-refactor-2	[Oct 06 06:11:26]	`c3ca0d4`	`b8b2069`	`c80b328`	`oven2`
1048	master	[Oct 08 02:52:25]	`b8b2069`	`b8b2069`	`c80b328`	`te1`
1047	master	[Oct 03 23:24:22]	`efb917e`	`efb917e`	`c80b328`	`stove`
1046	master	[Oct 03 10:59:33]	`30193e4`	`30193e4`	`c80b328`	`stove`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1039	master	[Sep 13 19:46:02]	`30193e4`	`30193e4`	`c85f70b`	`stove`
1022	master	[Sep 02 12:50:22]	`88e3461`	`88e3461`	`70744e4`	`brain09`
996	fix-drule	[Aug 12 15:27:15]	`fbc2434`	`980410c`	`c4ffdeb`	`oven1`
987	clos-install	[Aug 09 15:45:06]	`1aac637`	`980410c`	`8384b1c`	`te1`
986	clos-install	[Aug 09 09:02:56]	`45525c3`	`980410c`	`8384b1c`	`oven2`
980	master	[Aug 05 10:04:09]	`91e01be`	`91e01be`	`8179c0d`	`oven1`
975	master	[Aug 02 07:49:12]	`8e393be`	`8e393be`	`fe1fa42`	`oven1`
973	master	[Aug 05 13:07:47]	`112863b`	`112863b`	`97dbc36`	`brain09`
967	master	[Jul 27 02:15:08]	`5a0dba8`	`5a0dba8`	`e07c8c4`	`oven1`
964	zero-byte	[Jul 28 12:31:39]	`76201ad`	`6a2bd88`	`e07c8c4`	`brain09`