Skip to content
This repository has been archived by the owner on May 26, 2024. It is now read-only.

Add missing CI badges to README. #9

Merged
merged 1 commit into from
Jan 8, 2021
Merged

Add missing CI badges to README. #9

merged 1 commit into from
Jan 8, 2021

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 subscribe to this conversation on GitHub. Already have an account? Sign in.
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