diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-14T22·13+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-31T22·26+0000 |
commit | 911fb96eca84a3059ecc11af9c3ac6fdacc28166 (patch) | |
tree | 78ac0f0206ffb91d0a695868db9273c9b94b597e /third_party/gerrit_plugins | |
parent | 83e5f3b0d319c7f4d1f0bb85c39bbfe383d04637 (diff) |
feat(tvix/eval): add Value::as_attrs method r/4555
Change-Id: I2f39122ac85b67837335aab308d845907160e132 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6221 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'third_party/gerrit_plugins')
0 files changed, 0 insertions, 0 deletions