CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2998	thunks	[Oct 03 21:59:19]	`7df18a4`	`6ddaf6f`	`a406a51`	`timtam`