CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1016	ban-store-thm	[Aug 23 15:14:58]	`86c2abb`	`b890559`	`e82f681`	`oven1`
1015	sexpprint	[Aug 23 07:06:09]	`ec8c53d`	`b890559`	`e82f681`	`te1`
1014	master	[Aug 23 10:38:18]	`b890559`	`b890559`	`e82f681`	`oven2`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1013	sexpprint	[Aug 22 11:19:09]	`be67e05`	`b890559`	`e82f681`	`oven2`
1012	master	[Aug 23 06:18:55]	`6217a49`	`6217a49`	`e82f681`	`oven1`
1011	clos-install	[Aug 22 11:10:12]	`7eeb111`	`6217a49`	`8cc876e`	`oven2`
1010	clos-install	[Aug 20 11:16:56]	`ee80f59`	`6217a49`	`8cc876e`	`oven2`
1009	master	[Aug 20 02:54:33]	`6217a49`	`6217a49`	`8cc876e`	`oven2`
1008	master	[Aug 18 01:40:17]	`318ce07`	`318ce07`	`8cc876e`	`oven2`
1007	master	[Aug 17 12:14:38]	`c63c2ee`	`c63c2ee`	`8cc876e`	`oven2`
1006	master	[Aug 17 05:04:59]	`a8c6c8b`	`a8c6c8b`	`8cc876e`	`oven1`
1005	master	[Aug 16 14:44:52]	`349c6ad`	`349c6ad`	`8cc876e`	`oven1`
1004	master	[Aug 16 03:37:44]	`349c6ad`	`349c6ad`	`ea47c77`	`oven1`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
996	fix-drule	[Aug 12 15:27:15]	`fbc2434`	`980410c`	`c4ffdeb`	`oven1`
987	clos-install	[Aug 09 15:45:06]	`1aac637`	`980410c`	`8384b1c`	`te1`
986	clos-install	[Aug 09 09:02:56]	`45525c3`	`980410c`	`8384b1c`	`oven2`
980	master	[Aug 05 10:04:09]	`91e01be`	`91e01be`	`8179c0d`	`oven1`
975	master	[Aug 02 07:49:12]	`8e393be`	`8e393be`	`fe1fa42`	`oven1`
973	master	[Aug 05 13:07:47]	`112863b`	`112863b`	`97dbc36`	`brain09`
967	master	[Jul 27 02:15:08]	`5a0dba8`	`5a0dba8`	`e07c8c4`	`oven1`
964	zero-byte	[Jul 28 12:31:39]	`76201ad`	`6a2bd88`	`e07c8c4`	`brain09`
963	ag32-heap-size-80-mb	[Jul 26 18:36:25]	`7507ba7`	`6a2bd88`	`e07c8c4`	`oven2`
962	pmatch-hints	[Jul 26 18:42:05]	`3a148f7`	`6a2bd88`	`e07c8c4`	`oven1`