Skip to content

fix badges after workflow rename#325

Merged
andrei-ng merged 1 commit intomainfrom
fix-badges
Jul 7, 2025
Merged

fix badges after workflow rename#325
andrei-ng merged 1 commit intomainfrom
fix-badges

Conversation

@andrei-ng
Copy link
Collaborator

No description provided.

Signed-off-by: Andrei Gherghescu <8067229+andrei-ng@users.noreply.github.com>
@andrei-ng andrei-ng merged commit 5d501cf into main Jul 7, 2025
32 checks passed
@andrei-ng andrei-ng deleted the fix-badges branch July 7, 2025 21:20
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