CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1512	eval	[Apr 20 03:55:24]	`4625dff`	`d97d412`	`80660c1`	`oven3`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1511	eval	[Apr 17 19:43:35]	`ccf55f9`	`d97d412`	`80660c1`	`oven1`
1509	eval	[Apr 16 00:13:57]	`64e8e88`	`d97d412`	`80660c1`	`oven2`
1508	master	[Apr 10 18:48:00]	`d97d412`	`d97d412`	`80660c1`	`oven3`
1507	eval	[Apr 07 00:33:47]	`5a688a5`	`d97d412`	`80660c1`	`oven2`
1506	master	[Apr 03 08:33:25]	`d97d412`	`d97d412`	`7cfa01a`	`oven2`
1505	eval	[Apr 01 10:56:47]	`5a688a5`	`d97d412`	`7cfa01a`	`oven1`
1503	arm64-apple	[Mar 31 19:11:37]	`e469527`	`9c2de3e`	`ab03cec`	`oven1`
1502	opentheory-improve	[Mar 31 04:31:18]	`7d3c433`	`9c2de3e`	`ab03cec`	`oven2`
1501	master	[Mar 31 20:32:53]	`9c2de3e`	`9c2de3e`	`ab03cec`	`oven3`
1500	opentheory-improve	[Mar 26 10:46:11]	`a37eb54`	`9c2de3e`	`ab03cec`	`oven3`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
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`
1438	master	[Jan 14 12:18:36]	`f5e3ab1`	`3c64959`	`07dca05`	`oven1`
1437	master	[Jan 13 17:51:10]	`a9023d9`	`3c64959`	`07dca05`	`oven1`
1435	eval	[Jan 13 16:16:24]	`82a6a52`	`3c64959`	`07dca05`	`oven1`