Travis-CI

[Austin Morton]

travis-ci builds will randomly fail - its not super uncommon.

You can however force travis to re-run a build without pushing again
if you have access to the repo to verify that its a random failure.

More details below.
http://stackoverflow.com/questions/17606874/trigger-a-travis-ci-rebuild-without-pushing-a-commit

--
For unsubscribe information see http://sourceware.org/lists.html#faq