CakeML Regression Test

waiting (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2495	talsewell:word_simp_separated_if	No date	`1af0c7a`	`05aaba5`	`c37de73`	`No`

running (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2494	pancake-explorer	[Jul 27 06:39:38]	`83d1fea`	`05aaba5`	`c37de73`	`stove`
2493	master	[Jul 27 07:49:54]	`05aaba5`	`05aaba5`	`c37de73`	`lammmington`

finished (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2491	talsewell:word_simp_separated_if	[Jul 26 15:51:49]	`d6940a9`	`05aaba5`	`c37de73`	`stove`
2490	double-type-fix	[Jul 27 04:39:06]	`5168cb6`	`05aaba5`	`c37de73`	`pavlova`
2489	DoomishGuy:pan_prec_fix	[Jul 26 14:36:51]	`4de46d2`	`05aaba5`	`c37de73`	`stove`
2488	master	[Jul 26 20:45:38]	`929b093`	`929b093`	`c37de73`	`lammmington`
2487	DoomishGuy:pan_prec_fix	[Jul 26 02:32:11]	`4de46d2`	`a65ca99`	`c37de73`	`stove`
2486	double-type-fix	[Jul 26 02:57:53]	`5168cb6`	`fad3454`	`c37de73`	`pavlova`
2485	pr/991	[Jul 25 22:58:11]	`a8760f6`	`fad3454`	`c37de73`	`lammmington`
2484	candle-long-records	[Jul 25 05:43:21]	`9d9c056`	`fad3454`	`c37de73`	`stove`
2483	DoomishGuy:pan_prec_fix	[Jul 24 06:42:47]	`4de46d2`	`fad3454`	`c37de73`	`stove`
2482	master	[Jul 23 09:57:36]	`fad3454`	`fad3454`	`c37de73`	`stove`

aborted (all)

job	branch	time	`HEAD`	merge-base	`HOL`	worker
2492	pancake-explorer	[Jul 27 01:18:35]	`83d1fea`	`05aaba5`	`c37de73`	`stove`
2475	source_let-fix	[Jul 20 21:14:06]	`dc4cb57`	`6cdeb10`	`c37de73`	`lammmington`
2473	candle-long-records	[Jul 19 22:03:24]	`9d9c056`	`6cdeb10`	`c37de73`	`pavlova`
2472	fix-repl	[Jul 19 21:04:35]	`16892fb`	`6cdeb10`	`c37de73`	`stove`
2471	source_let-fix	[Jul 19 20:12:56]	`dc4cb57`	`6cdeb10`	`c37de73`	`stove`
2470	basis_def-translation	[Jul 19 20:12:55]	`030aba6`	`6cdeb10`	`c37de73`	`stove`
2464	master	[Jul 18 18:07:15]	`a1782b6`	`1791142`	`c37de73`	`stove`
2462	master	[Jul 18 06:55:27]	`42b33c6`	`1791142`	`c37de73`	`oven2`
2437	master	[Jul 03 22:23:33]	`c03b0f4`	`c03b0f4`	`a004768`	`stove`
2430	pancake_entry_points	[Jun 29 01:56:45]	`e03a654`	`a14567e`	`493fc3f`	`lammmington`