[jbosstools-dev] CI jobs building PR

[Jean-Francois Maury]

Will it be part of our merge workflow ie merging the PR won't be allowed if
the status is not green or has it to be manually by the merger ?

jeff

On Wed, Jun 22, 2016 at 3:00 PM, Alexey Kazakov <alkazako at redhat.com> wrote:

> 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 listjbosstools-dev at lists.jboss.orghttps://lists.jboss.org/mailman/listinfo/jbosstools-dev
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/jbosstools-dev/attachments/20160622/c7745473/attachment-0001.html