Skip to content

Run CodeQL on dev pushes#232

Merged
coder13 merged 1 commit into
devfrom
agent/codeql-dev-coverage
Jul 14, 2026
Merged

Run CodeQL on dev pushes#232
coder13 merged 1 commit into
devfrom
agent/codeql-dev-coverage

Conversation

@coder13

@coder13 coder13 commented Jul 14, 2026

Copy link
Copy Markdown
Owner

Summary

  • analyze pushes to the dev integration branch with CodeQL
  • guard the CodeQL push branch list in CI
  • require CodeQL evidence for release-candidate promotion

Closes #177

Verification

  • scripts/test-codeql-branches.sh
  • scripts/test-ci-branches.sh
  • YAML parsing for both workflow files
  • git diff --check

Validate release candidates with CodeQL on the integration branch and guard the workflow branch list against regressions.
@coder13
coder13 marked this pull request as ready for review July 14, 2026 03:02
@coder13
coder13 merged commit 09ddba8 into dev Jul 14, 2026
9 checks passed
@coder13
coder13 deleted the agent/codeql-dev-coverage branch July 14, 2026 03:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant