Skip to content

tooling(lint): run_lint_gates.sh fails loudly when a lint step yields no command — it silently dropped the public-baseline step #9969

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

Closed
proggeramlug wants to merge 3 commits into from
+381 −61
Closed

tooling(lint): run_lint_gates.sh fails loudly when a lint step yields no command — it silently dropped the public-baseline step #9969

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
75885c0
fix(tooling): fail loudly on empty lint extraction
proggeramlug Sep 7, 2026
942e5f4
chore(changelog): name the lint-gates fragment after its PR (#9969)
Sep 7, 2026
3e6aeef
fix(tooling): replay CI compile gates in lint driver
proggeramlug Sep 7, 2026
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
1 change: 1 addition & 0 deletions changelog.d/9969-lint-gates-extractor-loud.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
`scripts/run_lint_gates.sh` now names every derived command by workflow step and refuses to run or list a lint job when any `run:` step yields no command. Its extractor accepts the public-baseline step's environment-prefixed test and benchmark checker, keeps the two GitHub-only commands on an explicit printed skip list, and includes an end-to-end self-test for comment-led blocks and loud zero-command failures.
Loading
Loading