CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2699	tweak-root-dir	[Nov 22 14:05:45]	`078ed3d`	`d8b47ad`	`2de6b3c`	`pavlova`