CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2116	master	No date	`4a59cb8`	`4a59cb8`	`ff6e145`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2115	nonsense	[Mar 22 12:21:12]	`094171d`	`4a59cb8`	`ff6e145`	`pavlova`
2112	good_dimindex	[Mar 22 13:50:41]	`ffffabd`	`c9a39b5`	`ff6e145`	`stove`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2111	pure-end-to-end	[Mar 15 20:05:38]	`0c1fb82`	`a4a3f0b`	`ff6e145`	`stove`
2110	translation_update	[Mar 20 11:28:31]	`3189498`	`c9a39b5`	`ff6e145`	`stove`
2109	translation_update	[Mar 09 12:28:47]	`adddeec`	`a4a3f0b`	`ff6e145`	`stove`
2108	master	[Mar 07 05:06:10]	`a4a3f0b`	`a4a3f0b`	`ff6e145`	`stove`
2107	translation_update	[Mar 05 04:57:01]	`8248fcd`	`a4a3f0b`	`ff6e145`	`stove`
2104	print_app_list	[Mar 03 20:10:35]	`0b5b027`	`d7c2941`	`ff6e145`	`stove`
2103	translation_update	[Mar 01 04:17:03]	`8248fcd`	`d7c2941`	`ff6e145`	`stove`
2101	print_app_list	[Feb 28 08:56:52]	`7d65a4f`	`d7c2941`	`ff6e145`	`stove`
2099	print_app_list	[Feb 23 20:55:25]	`ed0b09d`	`d7c2941`	`ff6e145`	`stove`
2098	print_app_list	[Feb 22 21:32:42]	`f199d00`	`d7c2941`	`ff6e145`	`stove`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2114	master	[Mar 22 07:47:20]	`4a59cb8`	`4a59cb8`	`ff6e145`	`pavlova`
2113	master	[Mar 22 00:03:24]	`4a59cb8`	`4a59cb8`	`ff6e145`	`pavlova`
2106	master	[Mar 04 22:01:53]	`a4a3f0b`	`a4a3f0b`	`ff6e145`	`stove`
2105	translation_update	[Mar 03 21:30:39]	`8248fcd`	`a4a3f0b`	`ff6e145`	`stove`
2102	translation_update	[Feb 28 08:57:50]	`8248fcd`	`d7c2941`	`ff6e145`	`stove`
2100	translation_update	[Feb 26 14:14:07]	`360f94e`	`d7c2941`	`ff6e145`	`stove`
2093	pan_misc_lemmas	[Feb 08 11:57:27]	`4aa53b5`	`0a80d59`	`ff6e145`	`stove`
2090	pan_misc_lemmas	[Feb 03 04:35:57]	`8c8f91d`	`0a80d59`	`b449b82`	`stove`
2088	pan_misc_lemmas	[Feb 01 09:53:41]	`8c8f91d`	`0a80d59`	`b449b82`	`stove`
2056	master	[Dec 04 12:26:06]	`68d5c75`	`68d5c75`	`cf37a2b`	`stove`