diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-01T14·54+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-07T20·04+0000 |
commit | b8874f8d352f1f255a9eed0fdadc31d45de85e46 (patch) | |
tree | e0f2aca5598a37513e8292a6a6be11b33864491b /.git-blame-ignore-revs | |
parent | ec8ff79aeef5d1e77ef1f31ed2916347c5584a67 (diff) |
feat(tvix/eval): track source spans for thunks r/4731
Change-Id: I73f13c914d84e052a43b4eddb09db1acd8a7076a Reviewed-on: https://cl.tvl.fyi/c/depot/+/6398 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to '.git-blame-ignore-revs')
0 files changed, 0 insertions, 0 deletions