CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2896	set_grammar_ancestry	[Aug 01 00:45:23]	`b9b9b26`	`438ba42`	`a81865b`	`lammmington`