Fix Continuous Integration #943

Job	Run time
Fetch branch	1s
Fetch remote	1s
Skip Job?	5s
Performance Regression: Picotrav adder	18m 8s
Performance Regression: QBF breakthrough/3x4_19_bwnib	19m 54s
Performance Regression: Picotrav arbiter	37m 58s
Performance Regression: 12-Queens	15m 35s
Performance Regression: ${{ matrix.title }}	0s
Performance Regression: 14-Queens	48m 43s
Performance Regression: QBF breakthrough_dual/3x6_10_bwnib	14m 7s
Performance Regression: Picotrav mem_ctrl	32m 26s
Performance Regression: QBF connect4/6x6_11_connect4_bwnib	16m 10s
Performance Regression: QBF domineering/5x5_13_bwnib	17m 45s
Performance Regression: QBF ep/8x8_7_e-8-1_p-3-4_bwnib	22m 39s
Performance Regression: QBF ep_dual/8x8_6_e-8-1_p-2-3_bwnib	14m 9s
Performance Regression: QBF hex/hein_08_5x5-11_bwnib	18m 52s
Performance Regression: QBF httt/4x4_9_tippy_bwnib	15m 5s
	4h 51m 38s

Provide feedback