migrate PR build jobs on fusesource jenkins to dev-platform ----------------------------------------------------------- Key: JBIDE-25139 URL: https://issues.jboss.org/browse/JBIDE-25139 Project: Tools (JBoss Tools) Issue Type: Sub-task Components: build, fusetools Reporter: Nick Boldt Assignee: Nick Boldt Fix For: 4.5.2.Final Attachments: all-three-PR-builders.png I believe the current PR build job is this one: https://fusesource-jenkins.rhev-ci-vms.eng.rdu2.redhat.com/view/Fuse%20To... [~lhein] [~aurelien.pupier] is that correct? Yes, it is correct