CakeML Regression Test

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1736	master	[Jan 28 11:11:46]	`fe46ca0`	`fe46ca0`	`5199425`	`stove`
1733	printing	[Jan 27 22:52:12]	`a02d887`	`fe46ca0`	`74f4224`	`oven3+4.19.67.1.amd64-smp+`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1744	asl-equiv	[Jan 28 13:56:01]	`874bb72`	`fe46ca0`	`a6997b9`	`oven1`
1743	printing	[Jan 28 13:44:10]	`9e90ae9`	`fe46ca0`	`a6997b9`	`oven1`
1742	minor-reheapification	[Jan 28 13:32:13]	`b6ce141`	`fe46ca0`	`a6997b9`	`oven1`
1741	printing	[Jan 27 13:47:51]	`9e90ae9`	`fe46ca0`	`d537de7`	`oven1`
1740	asl-equiv	[Jan 27 06:55:52]	`874bb72`	`fe46ca0`	`d537de7`	`oven1`
1739	printing	[Jan 27 06:43:58]	`c744472`	`fe46ca0`	`d537de7`	`oven1`
1738	minor-reheapification	[Jan 27 06:32:02]	`b6ce141`	`fe46ca0`	`d537de7`	`oven1`
1737	asl-equiv	[Jan 27 00:27:58]	`874bb72`	`fe46ca0`	`2579120`	`oven1`
1735	printing	[Jan 27 00:16:11]	`c744472`	`fe46ca0`	`2579120`	`oven1`
1732	master	[Jan 24 16:12:53]	`fe46ca0`	`fe46ca0`	`74f4224`	`stove`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
1734	printing	[Jan 25 03:33:16]	`c744472`	`fe46ca0`	`5199425`	`stove`
1709	master	[Jan 11 10:17:28]	`fd3e72e`	`fd3e72e`	`6b1dbc7`	`oven1`
1687	eval	[Dec 17 14:40:53]	`d064a0d`	`ac6dd83`	`9511d20`	`oven1`
1686	eval	[Dec 17 13:57:57]	`d064a0d`	`ac6dd83`	`9511d20`	`oven1`
1673	delete_terminationTheory	[Dec 04 10:41:34]	`804fcaa`	`2e67690`	`6dcb52a`	`oven1`
1667	clos-smart-op	[Nov 26 08:49:53]	`adfe15a`	`99fb6df`	`c5bed31`	`stove`
1659	master	[Nov 23 22:00:33]	`99fb6df`	`99fb6df`	`789ad86`	`oven1`
1649	pattern-aliases	[Nov 21 21:22:53]	`e920b3b`	`99fb6df`	`bdb437d`	`stove`
1635	ramsey	[Nov 15 01:35:23]	`13eb6f5`	`6b1184f`	`7e1cdab`	`oven3`
1626	master	[Nov 11 11:06:50]	`2bdfb3b`	`2bdfb3b`	`5661718`	`oven2`