Pin README CI badges to the master branch#962
Merged
Conversation
The README CI badges had no branch filter, so they reflected the most recent run of each workflow on any branch - including failed runs on feature/PR branches (and superseded PR merge-ref checkout failures). Add ?branch=master so the badges report the default-branch status, which is what 'is the repo green' should mean.
Contributor
There was a problem hiding this comment.
Pull request overview
Pins the README’s GitHub Actions status badges to the master branch so the repository home page reflects default-branch CI health instead of showing the most recent run on any branch.
Changes:
- Add
?branch=masterto the Windows, Ubuntu, and macOS CI badge image URLs. - Add
?branch=masterto the Tutorials workflow badge image URL. - Update the Tutorials badge link to filter the workflow runs page to
branch:master.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
The README CI badges had no branch filter, so each badge showed the status of the most recent run of that workflow on any branch — including failed runs on feature/PR branches and the superseded PR merge-ref
actions/checkoutfailures. That made the repo look "red" on the home page even when master was green.Adds
?branch=masterto all four CI badges (Windows / Ubuntu / macOS / Tutorials) so they report default-branch status, and points the Tutorials badge link at the master-filtered runs.Verification
I queried the master-pinned badge endpoints — all five workflows (ubuntuci, windowsci, macosci, pex, tutorials) report passing on master. So the home page will now reflect that instead of stray non-master run statuses.
Docs/markdown-only change; no code impact.
Generated by Claude Code