Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: add GH release badge #200

Merged
merged 1 commit into from
May 2, 2023
Merged

chore: add GH release badge #200

merged 1 commit into from
May 2, 2023

Conversation

weibullguy
Copy link
Member

Add GH (pre-)release badge to advertise available pre-releases.

@weibullguy weibullguy merged commit 775a0e7 into master May 2, 2023
7 checks passed
@weibullguy weibullguy deleted the chore/update_readme branch May 2, 2023 12:23
weibullguy added a commit that referenced this pull request May 2, 2023
* master:
  chore: add GH release badge (#200)
weibullguy added a commit that referenced this pull request May 3, 2023
* master:
  chore: add GH release badge (#200)
@weibullguy weibullguy added S: merged Closed with work merged to repository chore Boring, but important, stuff labels Jun 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Boring, but important, stuff S: merged Closed with work merged to repository
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant