diff options
author | Profpatsch <mail@profpatsch.de> | 2024-05-13T10·32+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-05-13T16·09+0000 |
commit | 53163de836deb795f725995a4e52b81739a1c5eb (patch) | |
tree | 5825e81bcb3c62cebfb8f1adc2fa8149b79723d1 /tools/gerrit-update.nix | |
parent | 16ec24280d3851dd5b361eed413ca4621b0021f1 (diff) |
feat(users/Profpatsch/MonadPostgres): time formatting with event r/8136
Instead of opening a separate span, we just add events for start and end of formatting. Change-Id: I26f6792dfdcd23c01cff415fa0f436d6a22d93fe Reviewed-on: https://cl.tvl.fyi/c/depot/+/11655 Autosubmit: Profpatsch <mail@profpatsch.de> Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tools/gerrit-update.nix')
0 files changed, 0 insertions, 0 deletions