Skip to content

ci: remove CodeQL workflow - #9

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

pierrejochem merged 3 commits into
mainfrom
chore/remove-codeql

Commits

  1. Commits on Jun 23, 2026