Skip to content

Fix badge in README#1399

Merged
mike42 merged 1 commit into
developmentfrom
build-badge-fix
Jul 1, 2026
Merged

Fix badge in README#1399
mike42 merged 1 commit into
developmentfrom
build-badge-fix

Conversation

@mike42

@mike42 mike42 commented Jul 1, 2026

Copy link
Copy Markdown
Owner

Fixing the GitHub actions status badge only.

I generated this for the main branch, where our default branch is actually development.

Also a good chance to test branch protection rules (GitHub actions build is required).

Fixing the GitHub actions status badge only.

I generated this for the `main` branch, where our default branch is actually `development`.

Also a good chance to test branch protection rules (GitHub actions build is required).
@mike42 mike42 merged commit 5a83558 into development Jul 1, 2026
8 checks passed
@mike42 mike42 deleted the build-badge-fix branch July 1, 2026 09:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant