Merge branch 'main' of github.com:scipopt/russcip into development #386

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-with-coverage	1m 20s
Linux-conda-test	2m 8s
	3m 28s