[jbosstools-dev] CI jobs building PR

[Mickael Istria]

On 06/22/2016 12:28 PM, Jean-Francois Maury wrote:
> Did it get relaunched when the PR is updated ?
If it's updated by someone who's whitelisted (member of JBoss Tools 
organization on GitHub), then yes, it should be relaunched 
automatically. If it's from someone external, I believe someone has to 
say "testPR" to relaunch.
On the GitHub PR, you can click on the "Show details" link for the 
build. It will drive you to Jenkins and on Jenkins you get access to 
more metadata such as the commitId that was built.

HTH
-- 
Mickael Istria
Eclipse developer at JBoss, by Red Hat <http://www.jboss.org/tools>
My blog <http://mickaelistria.wordpress.com> - My Tweets 
<http://twitter.com/mickaelistria>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/jbosstools-dev/attachments/20160622/c666a11a/attachment.html