Skip to content

chore: update codeql version because old one is retired#1616

Merged
rlinehan merged 1 commit into
mainfrom
rlinehan/update-codeql
Jun 5, 2026
Merged

chore: update codeql version because old one is retired#1616
rlinehan merged 1 commit into
mainfrom
rlinehan/update-codeql