Run CodeQL for dev pushes and pull requests #45

Closed
opened 2026-07-14 17:42:18 +00:00 by KofTwentyTwo · 0 comments
KofTwentyTwo commented 2026-07-14 17:42:18 +00:00 (Migrated from github.com)

Problem

The repository's contribution flow sends feature pull requests to dev, but CodeQL is configured for pushes and pull requests involving only main. Normal feature work therefore does not receive CodeQL analysis before it enters the integration branch.

Evidence

  • Contributions and pull requests target dev: CONTRIBUTING.md:13-18.
  • CodeQL push and pull-request branch filters include only main: .github/workflows/codeql.yml:9-17.

This finding was independently verified at commit 119ac26804ef93b98a262cb1c0c7a41afe71fde5. It is related to the security workflow findings collected in #32, but is tracked separately as a small, independently closable CI correction.

Acceptance criteria

  • CodeQL runs for pull requests targeting dev and main.
  • CodeQL runs for pushes to dev and main, unless duplicate analysis is deliberately avoided through an equivalent configuration.
  • The existing scheduled scan remains enabled.
  • Branch-protection documentation identifies the CodeQL check expected on normal dev pull requests.
  • A test pull request targeting dev demonstrates that the CodeQL check is created and completes.
## Problem The repository's contribution flow sends feature pull requests to `dev`, but CodeQL is configured for pushes and pull requests involving only `main`. Normal feature work therefore does not receive CodeQL analysis before it enters the integration branch. ## Evidence - Contributions and pull requests target `dev`: `CONTRIBUTING.md:13-18`. - CodeQL push and pull-request branch filters include only `main`: `.github/workflows/codeql.yml:9-17`. This finding was independently verified at commit `119ac26804ef93b98a262cb1c0c7a41afe71fde5`. It is related to the security workflow findings collected in #32, but is tracked separately as a small, independently closable CI correction. ## Acceptance criteria - CodeQL runs for pull requests targeting `dev` and `main`. - CodeQL runs for pushes to `dev` and `main`, unless duplicate analysis is deliberately avoided through an equivalent configuration. - The existing scheduled scan remains enabled. - Branch-protection documentation identifies the CodeQL check expected on normal `dev` pull requests. - A test pull request targeting `dev` demonstrates that the CodeQL check is created and completes.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: KofTwentyTwo/gclo#45