Skip to content

chore: fix build badge to main - #132

Closed
daveleek wants to merge 1 commit into
mainfrom
chore/build-badge-main
Closed

chore: fix build badge to main#132
daveleek wants to merge 1 commit into
mainfrom
chore/build-badge-main

Conversation

@daveleek

@daveleek daveleek commented Sep 8, 2026

Copy link
Copy Markdown
Contributor

We have a build badge that is red right now due to a PR failing the CI build.
I think we should let the badge reflect what's actually in main and not what's happening in whatever branch and PR happens to have been pushed.

The difference:

Current:
Build

With the fix:
Build

@daveleek daveleek closed this Sep 8, 2026
@github-project-automation github-project-automation Bot moved this from New to Done in Issues and PRs Sep 8, 2026
@daveleek
daveleek deleted the chore/build-badge-main branch September 8, 2026 07:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants