Skip to content

Comments

Update front page status badges#1988

Merged
rhornung67 merged 1 commit intodevelopfrom
task/rhornung67/badges-update
Feb 11, 2026
Merged

Update front page status badges#1988
rhornung67 merged 1 commit intodevelopfrom
task/rhornung67/badges-update

Conversation

@rhornung67
Copy link
Member

Summary

  • This PR updates that status badges on the main GitHub project page to actions that are actually being run currently.

@rhornung67 rhornung67 merged commit 6083ae0 into develop Feb 11, 2026
21 checks passed
@rhornung67 rhornung67 deleted the task/rhornung67/badges-update branch February 11, 2026 22:57
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.

2 participants