[jbosstools-issues] [JBoss JIRA] (JBIDE-22777) Create PR check job for batch
Rastislav Wagner created JBIDE-22777:
----------------------------------------
Summary: Create PR check job for batch
Key: JBIDE-22777
URL: https://issues.jboss.org/browse/JBIDE-22777
Project: Tools (JBoss Tools)
Issue Type: Sub-task
Reporter: Rastislav Wagner
--
This message was sent by Atlassian JIRA
(v6.4.11#64026)