Skip to content

ci: remove CodeQL workflow#9

Merged
pierrejochem merged 3 commits into
mainfrom
chore/remove-codeql
Jun 23, 2026
Merged

ci: remove CodeQL workflow#9
pierrejochem merged 3 commits into
mainfrom
chore/remove-codeql

Commits

Commits on Jun 23, 2026