Skip to content

[red-knot] Track reachability of scopes - #17332

Merged
sharkdp merged 2 commits into
mainfrom
david/scope-reachability
Apr 10, 2025
Merged

[red-knot] Track reachability of scopes#17332
sharkdp merged 2 commits into
mainfrom
david/scope-reachability

Use is_none_or

d7076e1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs