CakeML Regression Test

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1236	export_update	[May 25 09:55:21]	`a681f08`	`4bc2df6`	`16a7744`	`oven1`
1235	master	[May 23 16:34:05]	`4bc2df6`	`4bc2df6`	`16a7744`	`oven1`
1234	concatAll	[May 22 19:33:06]	`556f816`	`4bc2df6`	`16a7744`	`oven2`
1233	master	[May 23 00:41:14]	`4bc2df6`	`4bc2df6`	`d0b4f13`	`oven1`
1231	master	[May 21 05:47:20]	`e4c7de8`	`e4c7de8`	`d0b4f13`	`oven1`
1230	data-cost	[May 21 05:20:34]	`126109f`	`e4c7de8`	`d0b4f13`	`oven2`
1229	master	[May 18 17:02:54]	`5ada842`	`5ada842`	`d0b4f13`	`oven1`
1228	data-cost	[May 18 16:34:43]	`126109f`	`5ada842`	`d0b4f13`	`oven2`
1227	master	[May 15 02:11:56]	`c836e91`	`c836e91`	`312b135`	`oven1`
1226	master	[May 14 03:16:34]	`c836e91`	`c836e91`	`9c817e9`	`oven1`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1232	concatAll	[May 20 17:14:06]	`556f816`	`e4c7de8`	`d0b4f13`	`oven3`
1219	master	[Apr 20 08:46:05]	`c258b1a`	`c258b1a`	`e2d0faf`	`oven1`
1214	master	[Mar 30 08:49:54]	`b4b1448`	`b4b1448`	`6b4719d`	`oven1`
1208	master	[Mar 15 11:45:15]	`cea42c5`	`cea42c5`	`ba25c57`	`oven1`
1201	source_assert	[Mar 18 12:37:53]	`2876854`	`cc300b0`	`72f6aba`	`stove`
1179	constrain_op_case	[Feb 12 06:18:07]	`ac8cff5`	`bc31859`	`1ada161`	`oven2`
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`