Skip to content

ci(codeql): advanced setup that skips proving-ground tasks and fixtures - #21

Merged
dgesteves merged 2 commits into
mainfrom
ci/codeql-advanced
Nov 2, 2026
Merged

dgesteves merged 2 commits into
mainfrom
ci/codeql-advanced

Conversation

@dgesteves

Copy link
Copy Markdown
Owner

CodeQL default setup cannot ignore paths. Every proof suite adds deliberately imperfect starting repos, test harnesses and reference solutions that only ever run inside the lab sandbox, and CodeQL flags them. #17 (OAuth) and #19 (web) brought 25 such alerts, all under tasks/: HTML-stripping helpers in Next.js test harnesses, prototype-pollution warnings on the toy database of a starting repo, and rate-limit and CSRF heuristics on a demo OIDC login app.

This moves CodeQL to an advanced workflow with the same default query suite and the same languages (actions, javascript-typescript). It runs on PRs, on main and weekly, is SHA-pinned like the rest of CI, and has least-privilege permissions. .github/codeql/codeql-config.yml ignores tasks/, site/fixtures/ and packages/sigil/test/fixtures/. Capability content keeps its own scanner job ("Scan the catalog").

Before merging: default setup has to be switched off, or GitHub rejects the advanced upload. Settings → Code security → CodeQL analysis → Switch to advanced, or:

gh api -X PATCH repos/dgesteves/sigil/code-scanning/default-setup -f state=not-configured

Then re-run this PR's checks, merge it, and re-run CodeQL on #17 and #19.

Default setup cannot ignore paths, so every new suite's deliberately
flawed starting repos and test harnesses opened alerts (25 on the OAuth
and web suites). Same default query suite, same languages, SHA-pinned
like the rest of CI.
@vercel

vercel Bot commented Nov 2, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

1 Skipped Deployment
Project Deployment Actions Updated
sigil-lab Ignored Ignored Preview Nov 2, 2026 9:47am UTC

@dgesteves
dgesteves merged commit 27cf269 into main Nov 2, 2026
8 checks passed
@dgesteves
dgesteves deleted the ci/codeql-advanced branch November 2, 2026 09:50
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