CI

Add ability of scip encoder to merge multiple scips #4657

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	15s
ci (9.6.7, gcc, 2025-04-14T00:00:00Z)	4m 29s
ci (9.2.8, gcc, 2025-04-14T00:00:00Z)	4m 39s
ci (9.4.7, gcc, 2025-04-14T00:00:00Z)	4m 27s
	13m 50s