rte-france/or-tools-rte@'v9.10-rte1.2-test-3' + rte-france/or-tools@'main' #100

Job	Run time
sirius=ON shrd=OFF java=OFF python=OFF	24m 29s
sirius=ON shrd=ON java=ON python=ON	27m 44s
sirius=OFF shrd=OFF java=OFF python=OFF	25m 5s
sirius=OFF shrd=ON java=ON python=ON	28m 5s
	1h 45m 23s

Provide feedback