CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2644	remove-old-datatype	No date	`b3a5924`	`3605d6f`	`277f6ad`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2643	master	[Oct 07 21:20:18]	`3605d6f`	`3605d6f`	`277f6ad`	`pavlova`
2641	remove-define	[Oct 07 14:31:48]	`7dfdee9`	`95fcf67`	`277f6ad`	`lammmington`
2640	remove-tDefine-paren-matching	[Oct 08 00:13:36]	`dfbdb67`	`95fcf67`	`277f6ad`	`stove`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2642	remove-old-datatype	[Oct 07 19:36:02]	`b3a5924`	`95fcf67`	`277f6ad`	`pavlova`
2639	master	[Oct 06 05:28:33]	`95fcf67`	`95fcf67`	`277f6ad`	`stove`
2638	remove-zdefine	[Oct 06 19:33:18]	`a893f63`	`95fcf67`	`277f6ad`	`pavlova`
2637	remove-define	[Oct 05 19:34:33]	`f99302b`	`95fcf67`	`277f6ad`	`pavlova`
2636	pancake_annot_comments	[Oct 06 18:40:48]	`6d80659`	`f75fcbe`	`277f6ad`	`lammmington`
2635	remove-tDefine-paren-matching	[Oct 05 19:46:04]	`dfbdb67`	`f75fcbe`	`277f6ad`	`stove`
2634	master	[Oct 05 19:26:02]	`f75fcbe`	`f75fcbe`	`277f6ad`	`pavlova`
2633	remove-xdefine	[Oct 05 18:34:18]	`d053dbf`	`f75fcbe`	`277f6ad`	`lammmington`
2632	pancake_annot_comments	[Oct 04 15:29:26]	`6d80659`	`f75fcbe`	`f109565`	`lammmington`
2631	remove-tDefine-paren-matching	[Oct 04 15:54:38]	`dfbdb67`	`f75fcbe`	`f109565`	`pavlova`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2630	master	[Sep 30 16:06:33]	`71062c5`	`71062c5`	`e1640d9`	`lammmington`
2629	remove-tDefine-paren-matching	[Sep 30 13:01:25]	`71e1738`	`71062c5`	`e1640d9`	`pavlova`
2628	master	[Oct 01 09:10:24]	`283d306`	`283d306`	`e1640d9`	`stove`
2627	remove-mldefine	[Sep 30 10:52:24]	`96d0116`	`283d306`	`e1640d9`	`lammmington`
2624	new-define-_	[Sep 29 09:16:41]	`cbad308`	`283d306`	`72a01e7`	`pavlova`
2607	dafny	[Sep 15 15:27:26]	`2814170`	`de087b8`	`7bf55e0`	`pavlova`
2605	halogentlepersuasion:pan_fields	[Sep 14 07:38:30]	`3d94cf4`	`de087b8`	`7bf55e0`	`lammmington`
2572	new-double-ffi	[Aug 23 11:41:09]	`8620f3d`	`8f8e162`	`5fc7a60`	`lammmington`
2565	heaps	[Aug 22 08:57:02]	`b1ed499`	`a61f281`	`5fc7a60`	`pavlova`
2562	heaps	[Aug 21 09:33:51]	`b1ed499`	`a61f281`	`257a822`	`pavlova`