Skip to content

Doc: update links in README#32

Merged
TrueBrain merged 1 commit intomainfrom
fix-readme
Dec 28, 2022
Merged

Doc: update links in README#32
TrueBrain merged 1 commit intomainfrom
fix-readme

Conversation

@TrueBrain
Copy link
Copy Markdown
Owner

The links, both for shields.io as github.com, now use the filename of the workflow, instead of the name inside the workflow.

The links, both for shields.io as github.com, now use the filename
of the workflow, instead of the name inside the workflow.
@TrueBrain TrueBrain merged commit 77a08af into main Dec 28, 2022
@TrueBrain TrueBrain deleted the fix-readme branch December 28, 2022 13:37
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