diff options
author | Vincent Ambo <mail@tazj.in> | 2023-01-04T15·41+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-01-04T16·30+0000 |
commit | 0c17718dd10f8b53b523eb8c54a525c7af166712 (patch) | |
tree | 6e4022a976a2eb00b51eb33b763c12014c7cab81 /tvix/serde/src/de.rs | |
parent | 9b8ba915c8c006f55c12a8af927810a901e7a378 (diff) |
refactor(tvix/eval): avoid unnecessary pop/push in OpForce r/5583
Change-Id: Ic7559eaa43aa0dcc97babb7669770c0f7f959f1b Reviewed-on: https://cl.tvl.fyi/c/depot/+/7754 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/serde/src/de.rs')
0 files changed, 0 insertions, 0 deletions