diff options
| author | Vincent Ambo <mail@tazj.in> | 2023-02-26T15·28+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2023-03-04T15·18+0000 |
| commit | e1f082a3ab012b0ef3b52b2b5b05513df75a4930 (patch) | |
| tree | 00cd2ec886d20dfc3ad473578cf47c40a64a4fea /tools/gerrit-cli.nix | |
| parent | dccbda596067a7650eeeec96433b715909ba43b8 (diff) | |
feat(tvix/eval): add SharedThunkSet r/5886
This is a ThunkSet wrapped to be shareable, which will be required once ThunkSets are embedded in futures. Change-Id: I5a067b7972ac86e4d354c75ef05c86b2284c1137 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8144 Tested-by: BuildkiteCI Reviewed-by: raitobezarius <tvl@lahfa.xyz>
Diffstat (limited to 'tools/gerrit-cli.nix')
0 files changed, 0 insertions, 0 deletions