Dataflow/prune to shortestpath2 - #22428

Dataflow/prune to shortestpath2#22428

aschackmull wants to merge 3 commits into

github:maingithub/codeql:mainfrom

aschackmull:dataflow/prune-to-shortestpath2aschackmull/ql:dataflow/prune-to-shortestpath2Copy head branch name to clipboard