CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1321	master	[Aug 07 09:26:31]	`0b23296`	`0b23296`	`a084f49`	`oven1`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1320	master	[Aug 06 16:48:14]	`bf4894f`	`bf4894f`	`a084f49`	`oven1`
1319	master	[Aug 06 10:18:18]	`6dff2f8`	`6dff2f8`	`a084f49`	`oven1`
1318	master	[Aug 05 20:57:47]	`478cfe8`	`478cfe8`	`a084f49`	`oven2`
1317	master	[Aug 05 15:43:51]	`e6cb43f`	`e6cb43f`	`a084f49`	`oven2`
1316	master	[Aug 05 16:33:43]	`fe62f4e`	`fe62f4e`	`a084f49`	`oven1`
1315	fix_build_instrs	[Aug 05 12:20:27]	`4545556`	`c89761b`	`a084f49`	`oven2`
1314	master	[Aug 04 23:09:14]	`c89761b`	`c89761b`	`ff3ac4c`	`oven2`
1313	master	[Aug 04 11:50:16]	`3f95e30`	`3f95e30`	`ff3ac4c`	`oven2`
1312	fix_build_instrs	[Aug 04 09:54:27]	`4545556`	`3f95e30`	`ff3ac4c`	`oven2`
1311	master	[Jul 31 00:50:52]	`eab1c0b`	`eab1c0b`	`ff3ac4c`	`oven2`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1285	master	[Jun 23 05:40:13]	`6f71ec7`	`6f71ec7`	`de873d0`	`oven1`
1274	master	[Jun 16 14:40:07]	`b8bdd1f`	`b8bdd1f`	`511e4a4`	`oven1`
1252	master	[Jun 06 12:43:45]	`821014d`	`821014d`	`ac74972`	`oven2`
1251	export_update	[Jun 06 12:23:26]	`a681f08`	`821014d`	`ac74972`	`oven1`
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`