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

fix github workflow badge #523

Closed
wants to merge 1 commit into from
Closed

fix github workflow badge #523

wants to merge 1 commit into from

Conversation

EFord36
Copy link
Contributor

@EFord36 EFord36 commented Jan 11, 2023

At the moment, the badges show like:

Screenshot 2023-01-11 at 13 25 12

See the linked GitHub issue from the previous version of the badge for the root cause: badges/shields#8671

In summary, this type of badge was changed in a breaking fashion such that the badges were just linking to the github issue rather than showing the data. Updating the url resolves this.

Also update the link of the badge to specify the workflow file rather than the name, which matches the new behaviour of the badge.

Let me know if I need to do the Sphinx build - it looks to me like this is done within ReadTheDocs but let me know if there's anything I need to do here.

@EFord36
Copy link
Contributor Author

EFord36 commented Jan 19, 2023

Ah, I see that my PR is basically a duplicate of the earlier #522 - sorry, I didn't notice that when opening it somehow, I thought I had checked open PRs and issues :/

The only difference is that my PR also changes the link targets to link to the specific file, which matches the behaviour of the badge more exactly. I think this is very minor though, and that the author of #522 should get the credit here since they beat me to it!

Happy to close, leaving open for now due to the slight difference.

See the linked GitHub issue from the previous version of the badge:
badges/shields#8671

In summary, this type of badge was changed in a breaking fashion such that
the badges were just linking to the github issue rather than showing the
data. Updating the url resolves this.

Also update the link of the badge to specify the workflow file rather
than the name, which matches the new behaviour of the badge.
@fantix
Copy link
Member

fantix commented Oct 15, 2023

No problem! I'll merge both in one squashed commit. Thanks for the PR!

@fantix
Copy link
Member

fantix commented Oct 15, 2023

Merged in #522, thanks for the PR!

@fantix fantix closed this Oct 15, 2023
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