diff options
author | Aspen Smith <root@gws.fyi> | 2024-07-29T02·37-0400 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-07-31T20·18+0000 |
commit | bdf82698592acc3f27fa7a9aa612ea1ad7970437 (patch) | |
tree | e5aa03a29f5f6af4f9d616fa63cb70db6be11ce6 /users/wpcarro/configs | |
parent | 13720d90bf1ad63deefda3e9e5ca3c187267c989 (diff) |
fix(tvix/glue): coerce path argument to builtins.path to a path r/8434
The "path" key in the arguments to builtins.path supports any path-coercible type (a string, a path...). Coerce it to a path in the argument rather than just requiring it already be one and throwing an error if it's not. This is... annoying to test, since it requires a file with known contents that's available in the build sandbox. But it works! Trust me! Fixes: b/412 Change-Id: I3c8e339bf344a208d5ed5990193942651f318745 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12053 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Autosubmit: aspen <root@gws.fyi>
Diffstat (limited to 'users/wpcarro/configs')
0 files changed, 0 insertions, 0 deletions