CakeML Regression Test

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1557	pancake	[Jul 27 02:00:27]	`14d1ade`	`76ed0b0`	`13bea38`	`stove`
1556	pancake	[Jul 26 06:09:20]	`14d1ade`	`76ed0b0`	`6acbc3e`	`oven2`
1555	master	[Jul 28 07:07:24]	`76ed0b0`	`76ed0b0`	`ce49c65`	`oven3`
1554	pancake	[Jul 23 20:40:14]	`14d1ade`	`76ed0b0`	`ce49c65`	`oven2`
1553	pancake	[Jul 20 01:30:30]	`14d1ade`	`76ed0b0`	`0c88037`	`oven2`
1552	pancake	[Jul 19 15:30:44]	`b5074fb`	`76ed0b0`	`0c88037`	`oven2`
1551	pancake	[Jul 19 14:56:18]	`f0675a0`	`76ed0b0`	`0c88037`	`oven2`
1550	master	[Jun 30 07:57:37]	`76ed0b0`	`76ed0b0`	`0c88037`	`oven2`
1549	master	[Jun 24 00:38:02]	`76ed0b0`	`76ed0b0`	`b7716bd`	`oven2`
1547	help	[Jun 17 14:41:09]	`2963c53`	`36d5c13`	`b7716bd`	`oven2`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1548	master	[Jun 21 00:11:35]	`76ed0b0`	`76ed0b0`	`b7716bd`	`stove`
1525	master	[May 17 21:24:23]	`39679b2`	`39679b2`	`1354090`	`oven2`
1522	master	[May 15 13:58:41]	`fddd5c1`	`fddd5c1`	`07333a5`	`oven1`
1510	eval	[Apr 16 13:25:18]	`ccf55f9`	`d97d412`	`80660c1`	`oven2`
1504	master	[Mar 31 04:31:19]	`d97d412`	`d97d412`	`ab03cec`	`oven2`
1494	fix-export-x64-macos	[Mar 19 07:28:24]	`62575c6`	`3d4a96b`	`94d0323`	`oven2`
1489	master	[Mar 14 12:41:17]	`9280017`	`9280017`	`8da82f1`	`oven2`
1475	master	[Feb 17 22:43:47]	`ea2e296`	`b39b4fb`	`3f7004d`	`oven1`
1467	master	[Feb 05 16:10:16]	`b39b4fb`	`b39b4fb`	`8e7bbd4`	`oven1`
1447	master	[Jan 22 21:51:48]	`73252d5`	`73252d5`	`bc19c02`	`oven1`