Skip to content

Port github/codeql#21202 to our fork#319

Merged
bdrodes merged 3 commits into
mainfrom
port-#21202-to-microsoft
Jan 27, 2026
Merged

Port github/codeql#21202 to our fork#319
bdrodes merged 3 commits into
mainfrom
port-#21202-to-microsoft

Merge branch 'main' into port-#21202-to-microsoft

2bd5b5c
Select commit
Loading
Failed to load commit list.