CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1442	master	[Jan 16 20:01:06]	`a7b2b8c`	`3c64959`	`07dca05`	`oven2`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1441	eval	[Jan 15 21:49:33]	`82a6a52`	`3c64959`	`07dca05`	`oven2`
1440	master	[Jan 16 04:22:50]	`6539672`	`3c64959`	`07dca05`	`oven1`
1439	master	[Jan 15 08:30:47]	`533a5e9`	`3c64959`	`07dca05`	`oven1`
1436	master	[Jan 15 21:20:18]	`3c64959`	`3c64959`	`07dca05`	`oven2`
1434	eval	[Jan 12 14:29:46]	`2b02fc2`	`3c64959`	`89e07c5`	`oven2`
1433	eval	[Jan 12 11:57:26]	`1f7df1c`	`3c64959`	`89e07c5`	`oven2`
1432	eval	[Jan 12 11:44:40]	`004c387`	`3c64959`	`89e07c5`	`oven2`
1429	master	[Jan 10 23:23:58]	`3c64959`	`3c64959`	`89e07c5`	`oven2`
1428	master	[Jan 08 05:45:15]	`3c64959`	`3c64959`	`982ebdf`	`oven2`
1427	master	[Jan 05 12:15:51]	`8881f24`	`8881f24`	`982ebdf`	`oven2`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
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`
1431	master	[Jan 13 15:03:30]	`a9023d9`	`3c64959`	`89e07c5`	`oven1`
1430	master	[Jan 11 10:06:27]	`8117043`	`3c64959`	`89e07c5`	`oven2`
1423	master	[Dec 30 06:30:25]	`86bded5`	`86bded5`	`5921a95`	`oven2`
1420	master	[Dec 29 06:25:38]	`38e03fa`	`38e03fa`	`5921a95`	`oven2`
1411	issue797	[Dec 06 07:57:41]	`35ccb32`	`3157c56`	`77016ef`	`oven1`
1409	ord-chr-word8	[Dec 05 05:59:44]	`64fa563`	`3157c56`	`77016ef`	`oven2`
1408	ord-chr-word8	[Dec 02 20:20:51]	`dc31835`	`3157c56`	`77016ef`	`oven2`