CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3660	master	[Nov 03 04:34:04]	`094ed71`	`094ed71`	`9783a49`	`spagbol`
3659	sequent-dev-bot:bot/sol/cakeml-proof-improvements	[Nov 03 04:20:35]	`acc28e9`	`094ed71`	`9783a49`	`bikkie`
3658	fix-constant-lifting-at-shifts	[Nov 03 10:08:06]	`8fc8edb`	`2c8abfe`	`9783a49`	`fairybread`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3657	version-string	[Nov 03 03:01:22]	`67faf9d`	`2c8abfe`	`9783a49`	`spagbol`
3656	master	[Nov 03 02:48:08]	`2c8abfe`	`2c8abfe`	`9783a49`	`bikkie`
3655	byte-array-scan	[Nov 02 13:59:29]	`732ff59`	`665f9b2`	`9783a49`	`fairybread`
3654	version-string	[Oct 31 07:21:04]	`67faf9d`	`665f9b2`	`9783a49`	`bikkie`
3653	master	[Oct 29 15:29:44]	`665f9b2`	`665f9b2`	`9783a49`	`spagbol`
3652	version-string	[Oct 29 14:48:50]	`67faf9d`	`377e9c7`	`9783a49`	`fairybread`
3651	master	[Oct 29 01:56:52]	`377e9c7`	`377e9c7`	`9783a49`	`bikkie`
3650	version-string	[Oct 28 09:11:42]	`239aca1`	`f2063c9`	`652d1f0`	`spagbol`
3649	mcandidate-fix	[Oct 27 13:19:07]	`94bfff2`	`f2063c9`	`9783a49`	`bikkie`
3648	master	[Oct 27 02:25:26]	`f2063c9`	`f2063c9`	`9783a49`	`fairybread`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3590	issue-sniping	[Oct 07 12:06:47]	`f6d9636`	`f8da03a`	`652d1f0`	`fairybread`
3588	master	[Oct 07 09:16:04]	`f8da03a`	`f8da03a`	`652d1f0`	`lammmington`
3582	source-dce	[Oct 05 17:17:36]	`836e2e0`	`3df857f`	`652d1f0`	`spagbol`
3581	source-dce	[Oct 05 17:11:21]	`836e2e0`	`3df857f`	`652d1f0`	`spagbol`
3580	source-dce	[Oct 05 17:06:42]	`836e2e0`	`3df857f`	`652d1f0`	`spagbol`
3568	master	[Oct 01 17:17:45]	`3d354d0`	`3d354d0`	`652d1f0`	`timtam`
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`