CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1947	master	[Jul 01 02:06:56]	`65d3f80`	`65d3f80`	`79060b0`	`stove`
1946	double-type-new	[Jun 30 09:14:38]	`099c12c`	`65d3f80`	`d49c74b`	`oven3`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1945	master	[Jun 28 17:07:10]	`65d3f80`	`65d3f80`	`3810cf5`	`stove`
1944	master	[Jun 25 17:20:16]	`fbd56dc`	`fbd56dc`	`3810cf5`	`stove`
1942	boot-trans	[Jun 27 22:59:56]	`cb0e2ef`	`fbd56dc`	`3810cf5`	`oven3`
1941	double-type-new	[Jun 23 18:40:42]	`099c12c`	`3edf3df`	`3810cf5`	`stove`
1940	master	[Jun 23 11:51:55]	`3edf3df`	`3edf3df`	`3810cf5`	`oven1`
1939	double-type-new	[Jun 23 14:53:57]	`4a0c251`	`3edf3df`	`3810cf5`	`oven3`
1938	double-type-new	[Jun 22 16:09:03]	`4a0c251`	`326efca`	`3810cf5`	`oven2`
1937	boot-trans	[Jun 23 05:11:14]	`cb0e2ef`	`326efca`	`3810cf5`	`stove`
1935	master	[Jun 21 04:32:33]	`e4cd72f`	`e4cd72f`	`3810cf5`	`oven1`
1934	boot-trans	[Jun 19 23:05:08]	`d6c239d`	`eb79029`	`55691be`	`oven1`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1943	double-type-new	[Jun 27 18:50:44]	`099c12c`	`fbd56dc`	`3810cf5`	`oven1`
1936	master	[Jun 22 21:09:32]	`326efca`	`326efca`	`3810cf5`	`oven1`
1932	let-lift	[Jun 18 02:21:47]	`ac281b6`	`eb79029`	`55691be`	`oven2`
1924	let-lift	[Jun 14 14:56:05]	`a6d0a2b`	`f7195c3`	`55691be`	`oven2`
1918	consts	[Jun 10 19:40:32]	`0deaebf`	`f7195c3`	`48bc6e3`	`stove`
1915	master	[Jun 10 13:50:34]	`f7195c3`	`f7195c3`	`48bc6e3`	`stove`
1912	deflate	[Jun 06 18:46:27]	`f1a75db`	`ae132ef`	`2a613a0`	`stove`
1911	inc-compiler-emptyffi	[Jun 06 20:02:11]	`e4fb78d`	`4d715a1`	`2a613a0`	`oven1`
1899	Iced_cake	[May 16 22:14:58]	`2796617`	`a986431`	`db0c48a`	`stove`
1892	Iced_cake	[May 09 09:08:11]	`65e9c2b`	`b22ea8e`	`66b3a98`	`stove`