diff options
author | Florian Klink <flokli@flokli.de> | 2023-02-27T17·07+0100 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2023-03-10T10·58+0000 |
commit | 2ef60282b61a61496e642021f0ab8eab7569bbaa (patch) | |
tree | 1a13914c1be1a7c0262c73d036639290e8c8f37f /.rgignore | |
parent | a4d06b68d8d78c4304e7f9d53304a25f9a1ac20a (diff) |
feat(tvix/store/import): make sure entries are sorted r/5938
The Directory service does already reject inserting invalid (wrongly sorted) Directory messages, but our test case didn't provoke it. Change-Id: I228e201925e8999186659a2d8da0118db184d9ab Reviewed-on: https://cl.tvl.fyi/c/depot/+/8167 Tested-by: BuildkiteCI Reviewed-by: raitobezarius <tvl@lahfa.xyz>
Diffstat (limited to '.rgignore')
0 files changed, 0 insertions, 0 deletions