Portfolio solving: solve with multiple solvers in parallel #861
run-checks-github-runners.yml
on: pull_request
build-and-push-image
5m 39s
cleaner
1s
check-format
2m 12s
run-tests
1h 25m