travis-ci/travis-core — pull request #388 by svenfuchs (2014-09-28 18:15:54+00:00)
Title: Add timeout settings and pass them to the worker

... so we can start defining custom timeouts.