diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-11T21·08+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-11T21·13+0000 |
commit | 2fe193ce41e0fe44336603078103ab4a524e1a09 (patch) | |
tree | cf8c62ac5869012dd60651da3df08bcdf5f33bf2 /users/zseri | |
parent | 1844c788f557ff0f80943c127b727498676f04e4 (diff) |
chore(tvix/eval): address current clippy lints r/4824
Change-Id: I76326c20a525044e89d3cd1392a29faa3414ca04 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6529 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'users/zseri')
0 files changed, 0 insertions, 0 deletions