diff options
| author | Florian Klink <flokli@flokli.de> | 2024-01-19T23·49+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-01-20T00·33+0000 |
| commit | a720278843b5df94a8804dc0b268ac64a87754ce (patch) | |
| tree | cb28e485c648bae529231e810c9486288fb874b4 /third_party/naersk | |
| parent | 93dfc65f10592cc57b53e06cb8593484008c371b (diff) | |
fix(tvix/glue/benches/eval): add impure_builtins r/7425
Impure builtins need to be explicitly added. This was missed from cl/10640. Change-Id: I1f8a84aa02f1cf8a26247960d6eb15895e09c610 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10667 Tested-by: BuildkiteCI Reviewed-by: raitobezarius <tvl@lahfa.xyz> Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'third_party/naersk')
0 files changed, 0 insertions, 0 deletions