On Sat, Jan 13, 2018 at 11:54 AM, Jeff King <[email protected]> wrote: > I think there's also a similar feature to include timings for each fold, > which might be worth pursuing.
If you look for 'travis_time' in the raw log, you'll find lines like these: travis_time:start:01ccbe40 $ some-command ... and its output ... travis_time:end:01ccbe40:start=1515840453305552968,finish=1515840471960386859,duration=18654833891 So it seems doable, but we'll have to do the timekeeping ourselves. Running 'time $cmd' is much easier, but that time won't be displayed next to the folds, of course. Do we really care that much? Gábor
