Nick Boldt created JBIDE-25139: ---------------------------------- Summary: 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 Reporter: Nick Boldt 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? -- This message was sent by Atlassian JIRA (v7.2.3#72005)