CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3451	IlmariReissumies:exceptionSemantics	[Aug 14 10:43:39]	`f6325e1`	`0fe74ee`	`fac5253`	`timtam`