travis-ci/travis-build — pull request #280 by svenfuchs (2014-08-06 14:46:26+00:00)
Title: Change time tag format

We need to include a unique id to each start and end tag. Also this changes travis_time_finish to output "travis_time:end" in order to align this with the fold tags.