CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2936	revisedFloats	[Aug 21 21:52:48]	`d2578bd`	`aeec19f`	`466a40a`	`pavlova`
2935	master	[Aug 21 21:47:50]	`aeec19f`	`aeec19f`	`466a40a`	`lammmington`