CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1378	data-cost	[Oct 21 23:21:19]	`05bb6c4`	`bc1d240`	`6c2b347`	`oven1`
1377	master	[Oct 22 08:04:32]	`bc1d240`	`bc1d240`	`6c2b347`	`oven2`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1376	master	[Oct 19 16:00:32]	`bc1d240`	`bc1d240`	`d443247`	`oven1`
1375	data-cost	[Oct 18 00:12:46]	`14fe6b7`	`bc1d240`	`d443247`	`oven2`
1374	master	[Oct 16 18:15:47]	`bc1d240`	`bc1d240`	`b320cfe`	`oven1`
1373	data-cost	[Oct 16 17:48:56]	`14fe6b7`	`bc1d240`	`b320cfe`	`oven2`
1372	master	[Oct 16 11:06:49]	`018eec6`	`018eec6`	`b320cfe`	`oven1`
1371	data-cost	[Oct 16 10:06:30]	`631fbdd`	`018eec6`	`b320cfe`	`oven2`
1370	master	[Oct 02 18:12:45]	`018eec6`	`018eec6`	`d4ac035`	`oven1`
1369	master	[Sep 30 14:42:48]	`018eec6`	`018eec6`	`841cced`	`oven5s3`
1368	lpr_opt	[Sep 29 00:08:59]	`26dcb39`	`411c80d`	`841cced`	`oven2`
1367	symbols	[Sep 29 04:32:44]	`9a0180e`	`411c80d`	`841cced`	`oven5s3`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1366	symbols	[Sep 26 20:07:36]	`9a0180e`	`411c80d`	`841cced`	`oven5s2`
1365	symbols	[Sep 26 05:43:34]	`9a0180e`	`411c80d`	`841cced`	`oven5s2`
1364	symbols	[Sep 26 05:05:37]	`9a0180e`	`411c80d`	`841cced`	`oven5s2`
1363	symbols	[Sep 25 13:57:25]	`9a0180e`	`411c80d`	`841cced`	`oven5s2`
1361	master	[Sep 24 12:11:50]	`411c80d`	`411c80d`	`841cced`	`oven3s`
1360	symbols	[Sep 24 07:14:21]	`9a0180e`	`aced251`	`841cced`	`oven1`
1359	master	[Sep 25 10:38:00]	`aced251`	`aced251`	`412fb64`	`oven4s`
1356	symbols	[Sep 21 17:22:05]	`cab8296`	`aced251`	`412fb64`	`oven3s`
1355	master	[Sep 21 17:04:35]	`aced251`	`aced251`	`412fb64`	`oven3s`
1354	rv_fixes	[Sep 21 17:11:51]	`85ff1d2`	`aced251`	`412fb64`	`oven4s`