Skip to content

ci(lint): de-number the optional-error sink-contract step comment — the gate prints its own census#12290

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
yinlianghui merged 1 commit into from
Aug 25, 2026
+5 −3
Merged

ci(lint): de-number the optional-error sink-contract step comment — the gate prints its own census #12290

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions .github/workflows/lint.yml
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -1720,9 +1720,11 @@ jobs:
# it enforced nothing, while reading in `package.json` exactly like the
# gates that do. That is #10574's defect one file over, and it is the only
# thing this change repairs; the gate itself is untouched.
# Runs its own --self-test FIRST (13 cases, both directions, both
# narrowings pinned as counts), then the scan — 36 sink types, 15
# baselined shrink-only. AST over packages/**, no spawns; ~3.5 s.
# Runs its own --self-test FIRST (both directions, every narrowing pinned
# as a count), then the scan. Deliberately carries NO counts: the run
# prints its own census — self-test cases, sink-type population, and the
# baselined shrink-only total — so a copy here could only ever be a stale
# one, and was. AST over packages/**, no spawns; ~3.5 s.
# No `paths:` filter, for the standard reason: a filter on `packages/**`
# would go dormant on the PR that edits the baseline.
- name: Optional-`error` sink contract
Expand Down
Loading