Skip to content

Add missing CI badges to README.#9

Merged
aentinger merged 1 commit intomainfrom
add-missing-badges
Jan 8, 2021
Merged

Add missing CI badges to README.#9
aentinger merged 1 commit intomainfrom
add-missing-badges

Conversation

@aentinger
Copy link
Member

This fixes #8.

@aentinger aentinger added topic: ci Continuous integration for this repository. topic: documentation Documentation for the project. type: enhancement PR to improve the project. labels Jan 8, 2021
@aentinger aentinger self-assigned this Jan 8, 2021
@aentinger aentinger merged commit b6ab3c4 into main Jan 8, 2021
@aentinger aentinger deleted the add-missing-badges branch January 8, 2021 06:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: ci Continuous integration for this repository. topic: documentation Documentation for the project. type: enhancement PR to improve the project.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add missing CI badges to the repositories README.

1 participant