Skip to content

ci: add push-only CodeQL scan with High/Critical alert relay - #13

Merged
leifdreizler merged 2 commits into
mainfrom
devin/1792572900-codeql-push-only
Oct 21, 2026
Merged

leifdreizler merged 2 commits into
mainfrom
devin/1792572900-codeql-push-only

Conversation

@devin-ai-integration

@devin-ai-integration devin-ai-integration Bot commented Oct 21, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Adds .github/workflows/codeql.yml, modeled on invisible-tools/dawn's current CodeQL workflow. It runs on push to main plus a Monday 06:00 UTC cron only. There is deliberately no pull_request trigger, so PR checks are unchanged.

  • analyze: matrix over go (autobuild, with setup-go from go.mod), actions, default query suite, paths-ignore: **/*_test.go, conformance/**, examples/**. Public repo, so it uses ubuntu-latest, which is already 4-core / 16 GB on public repos.
  • relay-alerts (push only): collects open High/Critical alerts created by this run on this commit, then POSTs each one to SLACK_CODEQL_WEBHOOK_URL and to the Devin triage webhook (DEVIN_CODEQL_WEBHOOK_URL + DEVIN_CODEQL_WEBHOOK_SECRET). This job is the same as dawn's, including the delivery fix in https://github.com/invisible-tools/dawn/pull/9021: it runs even if one language's scan fails (!cancelled() instead of the default success() gate), and the Devin webhook step still runs if the Slack post fails.
  • Actions pinned to SHAs: checkout v7.0.1, codeql-action v4.38.3.

Before merge: the three secrets must be visible to this repo (org-level secret with selected-repo access, or repo secrets). Without them the relay fails only when there is an alert to post.

Licensing: public repo. A probe run completed cleanly (analyze + relay green).

Link to Devin session: https://app.devin.ai/sessions/d405aab680584212bcc75f9bf5c329e0
Open in Devin Desktop: https://app.devin.ai/desktop/session/d405aab680584212bcc75f9bf5c329e0?variant=devin
Requested by: @kakarot0O

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
@devin-ai-integration

Copy link
Copy Markdown
Contributor Author

I'll fix CI failures and address comments from users with write access that start with 'Devin'.

  • Disable automatic comment, CI, and merge conflict monitoring

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>

@kakarot0O kakarot0O left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Re-approving per Leif's suggestion

@leifdreizler
leifdreizler merged commit ca7d747 into main Oct 21, 2026
5 checks passed
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.

2 participants