CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
3323	expk	[May 04 23:49:00]	`259b142`	`785b648`	`77fad20`	`pavlova`
3322	master	[May 01 08:12:54]	`785b648`	`785b648`	`8bfa052`	`timtam`