diff options
| author | Florian Klink <flokli@flokli.de> | 2024-04-08T14·44+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-04-08T16·51+0000 |
| commit | f1496f5722820eeae63edf34daee1c3a95a21df0 (patch) | |
| tree | 04a88eee58582435ca264df6d2ea8f8481801c04 /tvix/eval/src/observer.rs | |
| parent | 24fd4e963a2974cb907a1a68049b21049621efe1 (diff) | |
refactor(tvix/nix-compat/wire): rename padding_len to total_padding_len r/7879
Make it a bit more clear that this is the total padding length, not the padding length we still need to write. Change-Id: I9ff4aa16f256fda367b4b9295abf82ed01b1f989 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11383 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: picnoir picnoir <picnoir@alternativebit.fr>
Diffstat (limited to 'tvix/eval/src/observer.rs')
0 files changed, 0 insertions, 0 deletions