git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] travis-ci: build Git during the 'script' phase

From
SZEDER Gábor <szeder.dev@gmail.com>
Date
Jan 14, 2018, 10:43 UTC
Message-ID
<CAM0VKjkmEThnM7KdQ=SJFGK1E_zdjsCFnFas7fsRG97aQmS52g@mail.gmail.com>
In-Reply-To
<20180113105407.GA31825@sigill.intra.peff.net>
On Sat, Jan 13, 2018 at 11:54 AM, Jeff King <peff@peff.net> 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
Previous: Jeff KingNext: Jeff King
Message 7 of 10 in “travis-ci: build Git during the 'script' phase”
  1. travis-ci: build Git during the 'script' phaseSZEDER Gábor, Jan 8, 2018
  2. Junio C HamanoJan 8, 2018
  3. Lars SchneiderJan 8, 2018
  4. SZEDER GáborJan 12, 2018
  5. Jeff KingJan 13, 2018
  6. Jeff KingJan 13, 2018
  7. SZEDER GáborJan 14, 2018
  8. Jeff KingJan 14, 2018
  9. SZEDER GáborJan 14, 2018
  10. Jeff KingJan 14, 2018

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.