Skip to content

docs: update GitHub release badge in documentation#76

Merged
jravani merged 1 commit into
mainfrom
jravani-patch-1
Jul 2, 2026
Merged

docs: update GitHub release badge in documentation#76
jravani merged 1 commit into
mainfrom
jravani-patch-1

Conversation

@jravani

@jravani jravani commented Jul 2, 2026

Copy link
Copy Markdown
Member

No description provided.

@jravani jravani merged commit 0df45c0 into main Jul 2, 2026
3 of 4 checks passed
@codecov

codecov Bot commented Jul 2, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

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