CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3384	mzh-100:pegexec_fo	No date	`066bf1d`	`f46a8b6`	`9d7499d`	`No`
3385	master	No date	`f46a8b6`	`f46a8b6`	`9d7499d`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
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`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
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`
3375	issue662	[Jun 09 04:32:09]	`353a09b`	`f56a9da`	`bf0dec9`	`lammmington`
3374	mrichards30:feature/little-theories	[Jun 09 01:41:03]	`e18692e`	`f56a9da`	`bf0dec9`	`pavlova`
3372	mrichards30:feature/little-theories	[Jun 05 16:36:15]	`e543b72`	`f56a9da`	`bf0dec9`	`pavlova`
3371	dataLang_cutsets	[Jun 05 16:35:48]	`89d2dc3`	`f56a9da`	`bf0dec9`	`pavlova`
3369	mrichards30:feature/little-theories	[Jun 05 15:30:59]	`e543b72`	`88e427b`	`bf0dec9`	`timtam`
3368	build-flover	[Jun 05 15:46:14]	`0952c76`	`88e427b`	`bf0dec9`	`pavlova`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
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`
3348	mcandidate-fix	[May 21 06:42:52]	`7b20727`	`7ed0687`	`013245b`	`pavlova`
3242	noparse	[Mar 04 19:24:36]	`4666b47`	`48ce8d3`	`e6d0417`	`timtam`
3141	mcandidate-fix	[Jan 15 13:43:52]	`cfbbc19`	`680922b`	`46bd0da`	`timtam`
3122	vname	[Jan 10 18:14:40]	`94b601b`	`3164c9b`	`f02a261`	`rita`