Hi Jochen,as far as I know it's not possible. The only way to rerun a build on travis is to push to the pull request (easiest way: "commit --amend", "push -f").
Cheers, Pascal Am 30.06.2016 um 22:15 schrieb Jochen Theodorou:
Hi all,I just tried to rerun a build on travis (the instance reporting to our github issues), but it seems I do not have the rights to do that. What do I have to do to be able to do that?bye Jochen
