[jbosstools-dev] CI jobs building PR

[Alexey Kazakov]

Jeff, is a member of JBoss Tools organization.

On 06/22/2016 06:34 AM, Mickael Istria wrote:
> 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>
>
>
> _______________________________________________
> jbosstools-dev mailing list
> jbosstools-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/jbosstools-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/jbosstools-dev/attachments/20160622/af285ac4/attachment.html