Skip to content

chore: add option for manual CodeQL dispatch#2441

Merged
gagik merged 1 commit intomainfrom
gagik/run-codeql
May 2, 2025
Merged

chore: add option for manual CodeQL dispatch#2441
gagik merged 1 commit intomainfrom
gagik/run-codeql

Commits

Commits on May 2, 2025