FWIW this would take the form of * a job for each repo, like https://ci.eclipse.org/platform/job/eclipse.platform.debug/configure * a Jenkinsfile for each repo, like https://git.eclipse.org/r/c/platform/eclipse.platform.debug/+/182617
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
