<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 06/23/2016 11:30 AM, Jean-Francois
Maury wrote:<br>
</div>
<blockquote
cite="mid:CAG6Rg+=vERfVmXxrirfO0-1irM150Y6pOS1AMZcypR2M62y-nQ@mail.gmail.com"
type="cite">
<div dir="ltr">OK this is running ok if I update the PR. But the
PR page says 1 successful check although 2 have run (see <a
moz-do-not-send="true"
href="https://github.com/jbosstools/jbosstools-openshift/pull/1235"><a class="moz-txt-link-freetext" href="https://github.com/jbosstools/jbosstools-openshift/pull/1235">https://github.com/jbosstools/jbosstools-openshift/pull/1235</a></a>).
it is a Github pb ?<br>
</div>
</blockquote>
As far as I understand, the status of the GitHub PR is the status of
the last commit. If you append a commit, then the status is wiped
out, build starts up and then status for the new commit is show.<br>
So even if there were 2 successive build, it only shows the "1
successful build" for the latest one, and previous is ignored. If we
set up different jobs to review PRs (for example of distinct code
quality job), then you'll see the result of these 2 jobs on each
commit.<br>
If you want to track previous builds for individual commits, there's
a green tick or a red cross attached to each commit that was tested.
Those are visible at
<a class="moz-txt-link-freetext" href="https://github.com/jbosstools/jbosstools-openshift/pull/1235/commits">https://github.com/jbosstools/jbosstools-openshift/pull/1235/commits</a>
. Clicking on the green tick or red cross directs you to the Jenkins
build.<br>
<br>
HTH<br>
<div class="moz-signature">-- <br>
Mickael Istria<br>
Eclipse developer at <a href="http://www.jboss.org/tools">JBoss,
by Red Hat</a><br>
<a href="http://mickaelistria.wordpress.com">My blog</a> - <a
href="http://twitter.com/mickaelistria">My Tweets</a></div>
</body>
</html>