Add an elapsed timestamp to the banner for CI

Review Request #1775 — Created Feb. 15, 2015 and submitted

zundel
pants
ci-timestamps
1109
e3b3c6f...
pants-reviews
jsirois

Add an elapsed timestamp to the banner for CI.

Looks like:

[== 00:00 Banner message ==]

See: https://travis-ci.org/pantsbuild/pants/jobs/50841075 for example output

JS
  1. Ship It!
  2. 
      
ZU
Review request changed

Status: Closed (submitted)

Change Summary:

Commit 496a4d3

Loading...