Skip to content

docs: CONTRIBUTING names certify.yml as the inline gates' home, nightly and on demand (#686) #690

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
rowan-claude merged 1 commit into from
Sep 7, 2026
Merged

docs: CONTRIBUTING names certify.yml as the inline gates' home, nightly and on demand (#686) #690

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
9 changes: 5 additions & 4 deletions docs/CONTRIBUTING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -94,10 +94,11 @@ translation unit at a time, on a pinned `windows-2025` image, with a negative
control that must go red on a GNU extension. Visual C++ is a hard requirement
here, so what the compiler emits is compiled with cl before a change lands.

One gate is **not** in the pull request leg, and runs on push to main,
nightly, and on `gh workflow run ci.yml --ref <branch>`: the
**inline-budget gates**, which fire on compiler-version changes by design and
cost most of the wall clock.
One gate is **not** in the pull request leg: the **inline-budget gates**,
which fire on compiler-version changes by design and cost most of the wall
clock. They live in `certify.yml`, which runs nightly and on
`gh workflow run certify.yml --ref <branch>`, never on push (the owner's
per-commit rule: a job that runs on every commit finishes in two minutes).

So a change to the C++ emitters wants a dispatch run on its branch before
merging, not just a green pull request.
Expand Down
Loading