diff options
| author | Florian Klink <flokli@flokli.de> | 2024-01-25T12·47+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-01-27T18·40+0000 |
| commit | b38be028d96ce107439f3323026270228a871a13 (patch) | |
| tree | 991bc6341714a3896645240309d88dc20784f90e /tools/gerrit-update.nix | |
| parent | 4f22203a3aecd070881ae9b4eabc47532d948f01 (diff) | |
feat(tvix/tools/crunch-v2): add CLI args r/7453
Use clap derive to make the input and output files configurable, as well as the chunk size parameters. Change-Id: I02b29126f3bd2c13ba2c6e7e0aa4ff048ff803ed Reviewed-on: https://cl.tvl.fyi/c/depot/+/10691 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: edef <edef@edef.eu>
Diffstat (limited to 'tools/gerrit-update.nix')
0 files changed, 0 insertions, 0 deletions