CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3395	holbuild	No date	`059d8ec`	`1cd9e29`	`d456022`	`No`
3396	master	No date	`1cd9e29`	`1cd9e29`	`d456022`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3394	dataLang-multiret	[Jun 17 23:09:39]	`b625d0d`	`f21ad2b`	`9d7499d`	`lammmington`
3392	mzh-100:pegexec_fo	[Jun 17 23:15:32]	`066bf1d`	`f21ad2b`	`9d7499d`	`timtam`
3391	master	[Jun 17 22:18:43]	`f01fe64`	`f01fe64`	`d456022`	`pavlova`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3393	holbuild	[Jun 17 05:28:57]	`ee95060`	`f21ad2b`	`9d7499d`	`lammmington`
3390	holbuild	[Jun 17 04:10:25]	`ee95060`	`f01fe64`	`9d7499d`	`pavlova`
3389	master	[Jun 17 04:55:48]	`f46a8b6`	`f46a8b6`	`d456022`	`lammmington`
3388	lpl-replaces-j1	[Jun 17 04:25:59]	`304608f`	`f46a8b6`	`9d7499d`	`timtam`
3387	holbuild	[Jun 16 06:28:57]	`3449819`	`f46a8b6`	`9d7499d`	`timtam`
3386	mzh-100:pegexec_fo	[Jun 17 04:09:21]	`066bf1d`	`f46a8b6`	`9d7499d`	`pavlova`
3381	mzh-100:pegexec_fo	[Jun 10 12:21:42]	`f7a5cb8`	`3755e17`	`bf0dec9`	`lammmington`
3379	mrichards30:feature/little-theories	[Jun 10 00:31:00]	`e18692e`	`9bb4466`	`bf0dec9`	`lammmington`
3378	mzh-100:pegexec_fo	[Jun 09 13:33:19]	`f7a5cb8`	`9bb4466`	`bf0dec9`	`pavlova`
3376	mzh-100:pegexec_fo	[Jun 08 18:14:49]	`f7a5cb8`	`f56a9da`	`bf0dec9`	`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`