Add aggregator CI jobs for branch protection#980

jupblb merged 1 commit into

mainscip-code/scip-java:mainfrom

ci-pass-aggregatorscip-code/scip-java:ci-pass-aggregatorCopy head branch name to clipboard