On 27 January 2018 at 21:23, Christian Beer <christian.b...@posteo.de> wrote:
> The restart is available on the webpage: click "Show all > checks" on the PR than on "Details" next to travis-ci In the top right > corner there should be a "Restart build" button this will restart all > builds OR you can click on the build job number on the page and restart > the individual jobs button "restart job" on the page that opens. You > must be logged into Travis-CI (using your github account) to do this, > permissions are automatically transfered from github. > Thanks. I've never been logged in to Travis so that explains why I have never seen restart button. -Juha _______________________________________________ boinc_dev mailing list boinc_dev@ssl.berkeley.edu https://lists.ssl.berkeley.edu/mailman/listinfo/boinc_dev To unsubscribe, visit the above URL and (near bottom of page) enter your email address.