diff options
author | sterni <sternenseemann@systemli.org> | 2023-11-24T15·53+0100 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2023-11-24T23·36+0000 |
commit | 875bb26fc314b22f4a6fa2e457cf7ec5a44e7954 (patch) | |
tree | 784496bb3c5b21adec78a0fe2b0f7a6596df401d /.gitignore | |
parent | c5961e77749d1d002a5e747468b87c34a32821f3 (diff) |
fix(tvix/castore): correctly flag unreachable code r/7053
Change-Id: Id09afa4b77c3c70fb5695f253f6df4aa88b61e19 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10113 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions