Re: [jbosstools-dev] Pull Request against jbosstools-target-platforms repository validated automatically

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.