Skip to content

Conversation

@TomeHirata
Copy link
Collaborator

Filing a fix for the broken badge in case this is not a temporal issue.
image

Signed-off-by: TomuHirata <[email protected]>
@dushmanta05
Copy link
Contributor

dushmanta05 commented Oct 29, 2025

Oops! I just send a PR #8995 and checked this is also there.

There was no issue, so I thought may be nobody has done it. :)

@TomeHirata TomeHirata closed this Oct 30, 2025
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