diff options
| author | Florian Klink <flokli@flokli.de> | 2024-05-26T18·20+0200 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2024-05-30T16·18+0000 |
| commit | 543c103903ad10427a8ccbfbd4fa0520baad1c3e (patch) | |
| tree | cfa2ee0c1afc6efc69e15f1c537f2b2a96da35af /users/glittershark/emacs.d/snippets/org-mode/python source block | |
| parent | e8324073eb85f1531e07ef5140db48d2a0d74239 (diff) | |
fix(tvix/eval/vm/generators): allow unused rq_{path_exists,read_dir} r/8179
These VM requests are only emitted by code gated behind the impure feature. To prevent warning from popping up when building without default features, allow these to be unused if `impure` is not enabled. Change-Id: Id871a5215e9a0f09aa78edecdd111369ee7ffe34 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11722 Reviewed-by: Connor Brewster <cbrewster@hey.com> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'users/glittershark/emacs.d/snippets/org-mode/python source block')
0 files changed, 0 insertions, 0 deletions