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

Merge remote-tracking branch 'origin/chore/remove-codeql' into chore/…

45c9863
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build-test
succeeded Jun 23, 2026 in 38s