CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1170	exit_stderr	[Jan 28 23:56:38]	`645918a`	`f5a25c5`	`b219f4b`	`oven3`
1169	master	[Jan 28 20:38:17]	`f5a25c5`	`f5a25c5`	`b219f4b`	`stove`
1167	flat-to-clos	[Jan 28 09:54:35]	`d3a5540`	`3d28c48`	`b219f4b`	`oven2`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1168	exit_stderr	[Jan 28 14:29:53]	`25e198b`	`3d28c48`	`b219f4b`	`oven1`
1166	flat-to-clos	[Jan 27 17:39:43]	`da321ba`	`3d28c48`	`b219f4b`	`oven2`
1165	flat-to-clos	[Jan 25 17:24:44]	`2f21918`	`3d28c48`	`b219f4b`	`oven2`
1164	master	[Jan 25 10:58:05]	`3d28c48`	`3d28c48`	`b219f4b`	`oven1`
1163	flat-to-clos	[Jan 24 20:19:06]	`985eacc`	`3d28c48`	`b219f4b`	`oven2`
1162	master	[Jan 24 14:41:59]	`2bc5f8a`	`2bc5f8a`	`b219f4b`	`oven2`
1161	flat-to-clos	[Jan 24 14:41:53]	`985eacc`	`2bc5f8a`	`b219f4b`	`oven2`
1160	master	[Jan 24 14:34:13]	`db9813e`	`db9813e`	`b219f4b`	`oven2`
1159	flat-to-clos	[Jan 24 14:34:06]	`985eacc`	`db9813e`	`b219f4b`	`oven2`
1157	master	[Jan 24 13:20:04]	`1f6c50c`	`1f6c50c`	`b219f4b`	`oven1`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1158	flat-to-clos	[Jan 24 13:37:54]	`1fea576`	`1f6c50c`	`b219f4b`	`oven2`
1152	master	[Jan 19 21:46:31]	`3a8cdd9`	`3a8cdd9`	`76a40cf`	`oven1`
1134	nopacklib	[Jan 07 10:08:40]	`bdf0a80`	`07bca96`	`76d78d3`	`oven1`
1129	master	[Dec 20 00:47:15]	`9309fef`	`9309fef`	`1044b70`	`oven1`
1123	data-cost-bignum	[Dec 13 21:31:58]	`d29bf35`	`10943f8`	`f509905`	`stove`
1119	master	[Dec 09 23:30:02]	`10943f8`	`10943f8`	`481761b`	`oven1`
1116	lrat	[Dec 08 19:34:06]	`9891428`	`5752e21`	`481761b`	`oven3`
1115	lrat	[Dec 08 17:58:51]	`4345c5e`	`5752e21`	`481761b`	`oven1`
1109	data-cost	[Nov 28 14:12:40]	`71b306f`	`c472a5c`	`481761b`	`oven1`
1108	master	[Nov 29 13:37:52]	`c472a5c`	`c472a5c`	`481761b`	`stove`