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 /tvix/derivation/src/write.rs | |
| 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 'tvix/derivation/src/write.rs')
| -rw-r--r-- | tvix/derivation/src/write.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tvix/derivation/src/write.rs b/tvix/derivation/src/write.rs index af8f50d9b104..daca5ece2194 100644 --- a/tvix/derivation/src/write.rs +++ b/tvix/derivation/src/write.rs @@ -118,7 +118,7 @@ pub fn write_input_derivations( pub fn write_input_sources( writer: &mut impl Write, - input_sources: &[String], + input_sources: &BTreeSet<String>, ) -> Result<(), fmt::Error> { writer.write_char(COMMA)?; |