CakeML Regression Test

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2386	master	[May 11 14:32:16]	`150c31e`	`150c31e`	`3251629`	`pavlova`
2385	master	[May 11 11:43:40]	`3005891`	`150c31e`	`3251629`	`stove`
2384	pan_errors	[May 12 22:02:45]	`35327df`	`d4f0662`	`e006edd`	`lammmington`
2382	master	[May 08 20:27:21]	`d4f0662`	`d4f0662`	`e006edd`	`pavlova`
2381	master	[May 07 23:52:23]	`3005891`	`d4f0662`	`e006edd`	`stove`
2380	master	[May 05 12:06:53]	`b82ce2d`	`d4f0662`	`12c611b`	`stove`
2379	cf-fixes	[Apr 28 06:45:13]	`94cfcf1`	`9c063a7`	`12c611b`	`stove`
2378	master	[Apr 27 23:21:10]	`9c063a7`	`9c063a7`	`12c611b`	`pavlova`
2377	cvunify	[Apr 26 06:16:28]	`e3c93c9`	`9c063a7`	`12c611b`	`lammmington`
2376	cf-fixes	[Apr 25 01:15:07]	`b28ac1d`	`9c063a7`	`12c611b`	`stove`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2383	pan_errors	[May 06 03:44:37]	`6244385`	`d4f0662`	`e006edd`	`lammmington`
2370	master	[Apr 21 06:13:03]	`b82ce2d`	`9c063a7`	`244c07d`	`stove`
2368	cvunify	[Apr 20 17:23:52]	`51ac8cb`	`9c063a7`	`244c07d`	`stove`
2360	pan_errors	[Apr 07 13:34:00]	`9fa5ba7`	`77aba46`	`738ed94`	`stove`
2350	scope	[Mar 20 15:31:24]	`ca01320`	`ba1818f`	`671b4b7`	`stove`
2340	cvunify	[Mar 14 12:21:07]	`b02d95b`	`98d0d03`	`3a51c81`	`pavlova`
2339	share_mem_new2	[Mar 14 12:21:02]	`8b4d110`	`98d0d03`	`3a51c81`	`pavlova`
2331	share_mem_new2	[Mar 10 23:32:23]	`cdfa4eb`	`98d0d03`	`772a64a`	`pavlova`
2326	share_mem_new2	[Mar 06 23:59:02]	`5847f49`	`865f038`	`772a64a`	`stove`
2325	compression	[Mar 06 06:48:32]	`25dd2bb`	`865f038`	`f05effb`	`stove`