<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/22/2016 12:28 PM, Jean-Francois
Maury wrote:<br>
</div>
<blockquote
cite="mid:CAG6Rg+mEmvxUxqBVkqNt7kGCOAPRSgoLPBz1Pg2Ftgft5o+oAA@mail.gmail.com"
type="cite">
<div dir="ltr">Did it get relaunched when the PR is updated ?</div>
</blockquote>
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.<br>
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.<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>