diff options
author | Vincent Ambo <tazjin@tvl.su> | 2024-05-07T11·40+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-05-08T13·26+0000 |
commit | b68ef475ee551c8efae41d4b901fd9648f9b8570 (patch) | |
tree | c610a8f10864e83d2f8f8934bc11000cfd1ce051 /tvix/store/src | |
parent | 4bac58e10a500680a1f3e69dbb25e014c5065b7c (diff) |
feat(tools/when): support more timestamps with better merging logic r/8093
Adds a FieldSet type which defines which parts of a timestamp to merge into another in a new `mergeTime` function. With this two timestamps can be merged granularly, enabling more queries like `Sep 03 18:00` to return useful results (e.g., in this case, in the current year and location). Change-Id: I8db161608c5f68c8f9c61de8c6fa46067eced39b Reviewed-on: https://cl.tvl.fyi/c/depot/+/11601 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/store/src')
0 files changed, 0 insertions, 0 deletions