Skip to content

Add CodeQL workflow with manual build#572

Merged
marcphilipp merged 1 commit intomainfrom
marc/codeql
Jun 18, 2025
Merged

Add CodeQL workflow with manual build#572
marcphilipp merged 1 commit intomainfrom
marc/codeql

Commits

Commits on Jun 18, 2025