CakeML Regression Test

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2866	scheme	[Jun 18 07:13:08]	`2a9deab`	`b378040`	`86a75cd`	`pavlova`
2865	master	[Jun 18 22:04:22]	`b378040`	`b378040`	`86a75cd`	`oven2`
2852	master	[Jun 03 08:20:21]	`e1650fc`	`e1650fc`	`8103ca8`	`pavlova`
2851	scheme	[Jun 03 08:19:35]	`2a9deab`	`e1650fc`	`8103ca8`	`pavlova`
2850	IlmariReissumies:regression_test	[Jun 02 15:26:28]	`2a0f2b5`	`e1650fc`	`ca9276b`	`pavlova`
2849	IlmariReissumies:regression_test	[Jun 02 13:57:20]	`6f66898`	`e1650fc`	`ca9276b`	`pavlova`
2848	IlmariReissumies:regression_test	[Jun 02 13:45:03]	`2e81fa1`	`e1650fc`	`ca9276b`	`pavlova`
2847	IlmariReissumies:regression_test	[Jun 02 13:35:22]	`a6cc65f`	`e1650fc`	`ca9276b`	`pavlova`
2846	IlmariReissumies:regression_test	[Jun 02 13:13:46]	`54348e3`	`e1650fc`	`ca9276b`	`pavlova`
2845	IlmariReissumies:regression_test	[Jun 02 13:05:31]	`94e9b1f`	`e1650fc`	`ca9276b`	`pavlova`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2864	master	[Jun 17 10:13:20]	`b378040`	`b378040`	`86a75cd`	`oven2`
2863	master	[Jun 17 06:15:41]	`b378040`	`b378040`	`86a75cd`	`oven2`
2862	scheme	[Jun 17 06:09:08]	`2a9deab`	`b378040`	`86a75cd`	`lammmington`
2861	master	[Jun 17 05:48:57]	`b378040`	`b378040`	`86a75cd`	`pavlova`
2860	scheme	[Jun 17 05:40:53]	`2a9deab`	`b378040`	`86a75cd`	`oven2`
2859	scheme	[Jun 17 05:25:40]	`2a9deab`	`b378040`	`86a75cd`	`oven2`
2858	scheme	[Jun 17 05:24:21]	`2a9deab`	`b378040`	`86a75cd`	`oven2`
2857	master	[Jun 17 05:23:01]	`b378040`	`b378040`	`86a75cd`	`oven2`
2856	scheme	[Jun 17 05:22:11]	`2a9deab`	`b378040`	`86a75cd`	`oven2`
2855	scheme	[Jun 11 09:11:20]	`2a9deab`	`e1650fc`	`cf6bf25`	`pavlova`