BDD/RelPrev/Renaming (Preliminary Work) #912

Job	Run time
Skip Job?	7s
Fetch branch	1s
Fetch remote	1s
Performance Regression: Picotrav adder	35m 12s
Performance Regression: Picotrav arbiter	42m 15s
Performance Regression: Picotrav mem_ctrl	47m 52s
Performance Regression: 12-Queens	34m 41s
Performance Regression: QBF breakthrough/3x4_19_bwnib	37m 2s
Performance Regression: 14-Queens	1h 10m 12s
Performance Regression: QBF breakthrough_dual/3x6_10_bwnib	34m 39s
Performance Regression: QBF connect4/6x6_11_connect4_bwnib	34m 36s
Performance Regression: QBF domineering/5x5_13_bwnib	35m 25s
Performance Regression: ${{ matrix.title }}	0s
Performance Regression: QBF ep/8x8_7_e-8-1_p-3-4_bwnib	37m 20s
Performance Regression: QBF ep_dual/8x8_6_e-8-1_p-2-3_bwnib	33m 3s
Performance Regression: QBF hex/hein_08_5x5-11_bwnib	36m 13s
Performance Regression: QBF httt/4x4_9_tippy_bwnib	34m 44s
	8h 33m 23s

Provide feedback