diff options
author | sterni <sternenseemann@systemli.org> | 2022-10-23T21·03+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-10-23T21·08+0000 |
commit | dfa4c4847c2c597300a5ee4fa80a209d2a6453e0 (patch) | |
tree | df156d0df0e7d372e4ddf86ebdfc1261313c2cd9 /tvix/eval/src/observer.rs | |
parent | 89aee6443c0211759480911f3e4f9a7ce9eb2423 (diff) |
refactor(sterni/nix/fun): key can also be an int r/5188
Change-Id: Ia27be70ef07d9aa7d13821a2808ded9cf16506c8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7073 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/observer.rs')
0 files changed, 0 insertions, 0 deletions