diff options
| author | Florian Klink <flokli@flokli.de> | 2023-01-16T14·25+0100 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-01-16T16·45+0000 |
| commit | 95cad95b9333214df90d6002e51c7ae34910fa7e (patch) | |
| tree | 71a9d7dddbad123a1ccbf68beb94da145d2e2280 /third_party/git/t/chainlint | |
| parent | f6b4abac358c176cf5f686fed4f2e597e6b73704 (diff) | |
feat(tvix/derivation): make input_sources a BTreeSet r/5667
These need to be sorted anyways, so let's use the correct data structure for it. Change-Id: I009c9989d7647dc1df716170f3680c981db6e4b2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7846 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'third_party/git/t/chainlint')
0 files changed, 0 insertions, 0 deletions