about summary refs log tree commit diff
path: root/ops/gerrit-autosubmit
diff options
context:
space:
mode:
authorFlorian Klink <flokli@flokli.de>2024-06-25T17·37+0300
committerflokli <flokli@flokli.de>2024-06-26T04·51+0000
commit080654aaf9bd2f94d634008afd1dc26c74752eec (patch)
tree92b4604fab43544df4e1583011f000daa4100fc8 /ops/gerrit-autosubmit
parent04f04cfc27f64f42e016a1eba37112f5f2418aa0 (diff)
feat(tvix/eval): add file_type method r/8304
This allows peeking of the type at a given path.

It's necessary, as an open() might not fail until you try to read()
from it, and generally, stat'ing can be faster in some cases.

Change-Id: Ib002da3194a3546ca286de49aac8d1022ec5560f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11871
Tested-by: BuildkiteCI
Reviewed-by: Ilan Joselevich <personal@ilanjoselevich.com>
Reviewed-by: Connor Brewster <cbrewster@hey.com>
Diffstat (limited to 'ops/gerrit-autosubmit')
0 files changed, 0 insertions, 0 deletions