Enable CodeQL scan for GitHub Actions#1821

Draft

ericcornelissen wants to merge 5 commits intomainfrom try-codeql-actions

+14-2

Commits on Dec 17, 2024

Commits on Dec 18, 2024

very ugly but at least we can test it
ericcornelissen
committed

Commits on Dec 23, 2024

Merge branch 'main' into try-codeql-actions
ericcornelissen
authored