CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3461	master	No date	`14856fc`	`14856fc`	`fac5253`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3460	candle-fix-interfer	[Aug 17 04:04:24]	`6ebd286`	`d19e3eb`	`fac5253`	`timtam`
3459	pb-parse	[Aug 17 05:39:39]	`757db72`	`d19e3eb`	`fac5253`	`lammmington`
3458	candle-fix-interfer	[Aug 17 05:39:21]	`f34731c`	`d19e3eb`	`fac5253`	`pavlova`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3457	pb-parse	[Aug 16 17:48:51]	`fc2757c`	`d19e3eb`	`fac5253`	`lammmington`
3456	IlmariReissumies:exceptionSemantics	[Aug 16 23:06:28]	`f6325e1`	`d19e3eb`	`fac5253`	`timtam`
3455	master	[Aug 16 08:11:20]	`d19e3eb`	`d19e3eb`	`fac5253`	`pavlova`
3454	pb-parse	[Aug 15 19:05:48]	`fc2757c`	`65b66a7`	`fac5253`	`timtam`
3453	master	[Aug 15 09:05:49]	`65b66a7`	`65b66a7`	`fac5253`	`lammmington`
3452	holprojs	[Aug 15 07:34:54]	`d447f5e`	`65b66a7`	`fac5253`	`pavlova`
3451	IlmariReissumies:exceptionSemantics	[Aug 15 05:32:16]	`f6325e1`	`0fe74ee`	`fac5253`	`timtam`
3450	IlmariReissumies:exceptionSemantics	[Aug 14 07:34:50]	`81c818f`	`0fe74ee`	`fac5253`	`pavlova`
3449	IlmariReissumies:exceptionSemantics	[Aug 13 18:15:10]	`fc95cda`	`0fe74ee`	`fac5253`	`lammmington`
3448	bvi-inline-cleanup	[Aug 14 04:29:57]	`3d9f4bb`	`0fe74ee`	`fac5253`	`timtam`

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`