
<html><body><div>Hi all,</div><div><br></div><div>travis fails at my PR but it passes on my branch.</div><div>Is there a way to restart travis on a PR or do you have to create a new PR?</div><div><br></div><div>best</div><div>Michael</div></body></html>