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 #1914

Merged
merged 1 commit into from
Feb 7, 2023
Merged

Fix GitHub workflow badge #1914

merged 1 commit into from
Feb 7, 2023

Conversation

EFord36
Copy link
Contributor

@EFord36 EFord36 commented Feb 5, 2023

The build badge is currently broken:

Screenshot 2023-02-05 at 17 48 55

This PR fixes it, so it looks like:

Screenshot 2023-02-05 at 17 49 34

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

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

I also updated the link for the badge, so it matches the behaviour of the badge more closely (matching on the workflow file, rather than the name).

I don't think any of the PR template check boxes applies, since this is a doc-only change - but hopefully the screenshots above are evidence of the 'fix'.

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

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

I also updated the link for the badge, so it matches the behaviour of the badge more closely (matching on the workflow file, rather than the name).
@coveralls
Copy link

Coverage Status

Coverage: 84.534% (+0.8%) from 83.73% when pulling 755c169 on EFord36:EFord36-github-build-badge into 858bb81 on Zulko:master.

@keikoro
Copy link
Collaborator

keikoro commented Feb 7, 2023

Thank you, @EFord36!

@keikoro keikoro merged commit 77d7165 into Zulko:master Feb 7, 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.

3 participants