On 05/26/2016 08:57 AM, Max Rydahl Andersen wrote:
On 25 May 2016, at 19:45, Nick Boldt wrote:

This is an awesome improvement over having to resolve the PR locally, but I
suspect it only works for simple PR changes.

---
Workflow is as follows:

a) create a PR, eg.,
https://github.com/jbosstools/jbosstools-target-platforms/pull/214

Why does this PR not have a link to the jenkins build and a green/red flag marker from the result ?
It does. It gets a bit hidden by GitHub when PR is closed, but there's still the "View Details" button to the right of the commit and "1 check passed" text that allows to view quick result and navigate to details.
--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets