diff options
| author | Florian Klink <flokli@flokli.de> | 2022-10-21T16·15+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-10-27T20·34+0000 |
| commit | 79ef6ee283182873090534d8d559dcde7ed3ebb4 (patch) | |
| tree | a330b27349335a4120386b764a18c1ad449627dd /tvix/eval/src/builtins/mod.rs | |
| parent | 4d5fdb781d9893e3dcd5ea030ad24e3fd52b06e7 (diff) | |
chore(ops/pipelines/depot/protoCheck): include name in label r/5212
Change-Id: I2010bd6e4600e9f1dd6e6af40e81ecbbb72c20d0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7054 Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/builtins/mod.rs')
0 files changed, 0 insertions, 0 deletions