CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3533	mtrans_byte_array	[Sep 23 23:24:48]	`2db71c1`	`e0f3254`	`dfff742`	`pavlova`