due to github service issues (timeouts), travis seems to have failed, wonder how I can tell it to repeat the process without adding something more to the pull request
aha, got it - Closed the pull request and then pressed the button to Reopen it again, making Travis CI start again build process. Hope this time all is fine
due to github service issues (timeouts), travis seems to have failed, wonder how I can tell it to repeat the process without adding something more to the pull request