diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-09-13T13·10+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-13T14·41+0000 |
| commit | 477015cfe38b4f51d0e4e579b547c506dcea0d44 (patch) | |
| tree | c81acdc6d7910bf0b50cf4a28bd1c438763049bc /third_party | |
| parent | 62623ef46ce6cf0a6e76806440b0321a7f3792a7 (diff) | |
refactor(tvix/eval): point `OpPushWith` span at namespace r/4843
Pointed out by sterni in cl/6395 Change-Id: I2dda2bb11fef702df05fd7a4fd93b9e717a85dad Reviewed-on: https://cl.tvl.fyi/c/depot/+/6567 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions