CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
919	master	[Jun 25 18:19:10]	`5cd3c1d`	`5cd3c1d`	`e575cea`	`te1`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
918	master	[Jun 21 04:10:34]	`57a8a31`	`57a8a31`	`e575cea`	`oven2`
917	master	[Jun 19 06:40:54]	`57a8a31`	`57a8a31`	`b79f359`	`oven2`
916	master	[Jun 19 15:30:50]	`83e39f3`	`57a8a31`	`b79f359`	`te1`
915	master	[Jun 13 13:23:07]	`83e39f3`	`57a8a31`	`a0ba6fe`	`oven2`
914	master	[Jun 13 12:43:38]	`57a8a31`	`57a8a31`	`a0ba6fe`	`te1`
913	master	[Jun 09 01:33:19]	`57a8a31`	`57a8a31`	`52d6213`	`te1`
912	master	[Jun 04 17:47:26]	`38556cc`	`38556cc`	`52d6213`	`brain08`
911	master	[Jun 03 23:40:53]	`38556cc`	`38556cc`	`6cd7620`	`oven2`
910	master	[Jun 03 13:57:24]	`38556cc`	`38556cc`	`c5497b7`	`brain08`
908	fp_translation	[May 31 07:02:35]	`f87b41a`	`52270c0`	`d959966`	`oven1`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
909	fp_translation	[May 30 02:22:28]	`cdbaff7`	`6553fc5`	`d959966`	`te1`
901	cleanup	[May 25 15:15:11]	`a2cd3fb`	`a957cf6`	`08cf0f7`	`oven1`
900	master	[May 25 07:00:20]	`a957cf6`	`a957cf6`	`08cf0f7`	`oven1`
898	master	[May 24 17:49:53]	`2197558`	`2197558`	`08cf0f7`	`oven1`
895	FMA_support	[May 22 18:53:57]	`fb81518`	`2197558`	`15a1e85`	`brain08`
848	vstte18	[May 08 17:01:30]	`f3af758`	`331972b`	`544f92f`	`te1`
846	FMA_support	[May 09 11:57:50]	`2e0cf4a`	`331972b`	`544f92f`	`oven1`
830	FMA_support	[May 02 12:43:41]	`0a1d60d`	`62c51fa`	`6d809bf`	`oven2`
826	FMA_support	[Apr 30 11:16:14]	`0a1d60d`	`62c51fa`	`8e183cc`	`brain08`
825	vstte18	[Apr 30 09:30:06]	`97d18a8`	`62c51fa`	`8e183cc`	`af5f36dd9acf`