Skip to content

Conversation

@TimmRuppert
Copy link
Contributor

Fixes the badge after the workflow was changed.

@TimmRuppert TimmRuppert requested a review from pmai November 11, 2025 14:05
@TimmRuppert TimmRuppert self-assigned this Nov 11, 2025
@pmai pmai added ReadyForCCBReview Indicates that this MR is ready for a final review and merge by the CCB. and removed ReadyToMerge labels Nov 13, 2025
@pmai
Copy link
Contributor

pmai commented Nov 13, 2025

CCB 2025-11-13: Merge as-is.

@pmai pmai added ReadyToMerge and removed ReadyForCCBReview Indicates that this MR is ready for a final review and merge by the CCB. labels Nov 13, 2025
@pmai pmai merged commit 8e5bf39 into master Nov 13, 2025
4 checks passed
@pmai pmai deleted the badge branch November 13, 2025 11:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants