bin/travis runs twice sometimes

Not sure if this is an issue with our setup or Travis itself, but occasionally bash bin/travis is run twice. Sometimes one passes and the other fails.

Recent example is job 4091.4:

• first exit with code 0 - https://travis-ci.org/http4s/http4s/jobs/221074254#L1149
• second exit with code 1 - https://travis-ci.org/http4s/http4s/jobs/221074254#L1350

Details from the raw job output[1]. All times UTC:

command	reported start	reported finish	reported duration (s)
bash bin/travis (run a)	19:00:32	19:03:45	193.4
bash bin/travis (run b)	19:00:57	19:11:18	621.4

[1] Grab logs with: B=4091.4; J=221074254; curl -L -o tmp/$B "https://api.travis-ci.org/jobs/$J/log.txt" then grep tmp/$B for “travis_time:” and look for “exited with” to find the end of the bash bin/travis runs. The timings are “hidden” in escape codes, so it may not be visible depending on the configuration of your terminal and/or pager.

[ChristopherDavenport]

Heres to hoping one of our CI problems disappear.

[bfritz]

Feeling optimistic this afternoon. Easy to reopen if we see it again.