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

docs: update ci badge #28

Merged
merged 1 commit into from
Jun 14, 2021
Merged

docs: update ci badge #28

merged 1 commit into from
Jun 14, 2021

Conversation

daniel-eder
Copy link
Member

No description provided.

@daniel-eder daniel-eder requested a review from a team June 14, 2021 13:53
@f11h f11h merged commit 4cdb381 into main Jun 14, 2021
@f11h f11h deleted the docs/ci-badge branch June 14, 2021 17:21
@ascheibal ascheibal added the documentation Improvements or additions to documentation label Jun 16, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants