CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3499	master	[Sep 03 19:17:38]	`857f0d9`	`857f0d9`	`e395eb6`	`pavlova`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3498	master	[Sep 02 16:30:29]	`857f0d9`	`857f0d9`	`5d0594d`	`pavlova`
3497	pan_news	[Sep 03 05:34:47]	`99f3972`	`02c6251`	`a390cba`	`timtam`
3496	master	[Sep 02 09:43:12]	`02c6251`	`02c6251`	`5d0594d`	`pavlova`
3495	mah1104ahm:codex/remove-mllist-map-partial	[Sep 02 11:14:19]	`52296e0`	`74c512d`	`a390cba`	`lammmington`
3494	master	[Sep 01 11:20:03]	`74c512d`	`74c512d`	`5d0594d`	`timtam`
3493	pb-imp-fix	[Sep 02 01:29:28]	`a30530b`	`74c512d`	`a390cba`	`pavlova`
3492	pan_news	[Sep 01 15:25:49]	`99f3972`	`74c512d`	`a390cba`	`lammmington`
3491	pb-imp-fix	[Sep 01 04:12:58]	`84cdfcc`	`74c512d`	`a390cba`	`timtam`
3490	pan_news	[Sep 01 04:02:05]	`6a7502d`	`74c512d`	`a390cba`	`pavlova`
3489	master	[Aug 30 11:49:36]	`74c512d`	`74c512d`	`a390cba`	`pavlova`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3385	master	[Jun 15 06:33:40]	`f46a8b6`	`f46a8b6`	`9d7499d`	`timtam`
3384	mzh-100:pegexec_fo	[Jun 15 06:33:30]	`066bf1d`	`f46a8b6`	`9d7499d`	`pavlova`
3383	master	[Jun 12 06:44:12]	`c73c4d9`	`c73c4d9`	`9d7499d`	`pavlova`
3382	mzh-100:pegexec_fo	[Jun 11 05:03:47]	`f7a5cb8`	`c73c4d9`	`9d7499d`	`lammmington`
3380	master	[Jun 09 13:33:29]	`3755e17`	`3755e17`	`9d7499d`	`pavlova`
3377	master	[Jun 08 18:14:59]	`9bb4466`	`9bb4466`	`9d7499d`	`timtam`
3373	master	[Jun 05 16:37:10]	`f56a9da`	`f56a9da`	`9d7499d`	`pavlova`
3370	master	[Jun 05 15:31:51]	`88e427b`	`88e427b`	`9d7499d`	`timtam`
3363	master	[May 30 01:57:20]	`4734032`	`4734032`	`c7b52ad`	`timtam`
3362	pancake-add-inst	[May 30 01:55:05]	`390d963`	`4734032`	`c7b52ad`	`pavlova`