[jbosstools-issues] [JBoss JIRA] (JBIDE-25139) migrate PR build jobs on fusesource jenkins to dev-platform

[Nick Boldt (JIRA)]

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%20Tooling/job/jbosstools-fuse_PullRequest/

[~lhein] [~aurelien.pupier] is that correct?



--
This message was sent by Atlassian JIRA
(v7.2.3#72005)