diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-23T15·25+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-09-23T17·37+0000 |
commit | e7d24fd2b8baea2c229a324ceae7259793b0e5e0 (patch) | |
tree | 1d768e3b51f32523389a1cd014e086520eae5bb4 /users/wpcarro/configs | |
parent | f816813d41271043473f8740bbc8c257f9b54982 (diff) |
chore(tvix/eval): mark coerce_value_to_path as intentionally unused r/4964
This was added in preparation for some builtins that don't exist yet and is producing some noise during compilation. Change-Id: I51fb0d14c3edf0bd6d9a288d50e44dacf35166c6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6769 Reviewed-by: flokli <flokli@flokli.de> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'users/wpcarro/configs')
0 files changed, 0 insertions, 0 deletions