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

The entry for the badge was missing #905

Merged
merged 1 commit into from
Oct 11, 2022

Conversation

BenjaminBossan
Copy link
Collaborator

@BenjaminBossan BenjaminBossan commented Oct 11, 2022

A reference to the badge was added in #904 but for it to show, there needs to be an entry using that reference.

With this PR, this is how the badge will look like:

Screenshot from 2022-10-11 10-36-03

A reference to the badge was added in #904 but for it to show, there
needs to be an entry using that reference.
Copy link
Member

@thomasjpfan thomasjpfan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah I see you use GitHub in Dark mode! 😁

This PR LGTM

@thomasjpfan thomasjpfan merged commit 5ec195c into master Oct 11, 2022
@thomasjpfan thomasjpfan deleted the add-missing-entry-for-HF-integration-badge branch October 11, 2022 14:41
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