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

Update CircleCI badge in README.md #945

Merged
merged 1 commit into from
Aug 8, 2023
Merged

Update CircleCI badge in README.md #945

merged 1 commit into from
Aug 8, 2023

Conversation

marians
Copy link
Member

@marians marians commented Aug 8, 2023

No description provided.

@marians marians requested a review from gusevda August 8, 2023 12:13
@marians marians self-assigned this Aug 8, 2023
@marians marians merged commit 44bee19 into master Aug 8, 2023
3 checks passed
@marians marians deleted the marians-patch-1 branch August 8, 2023 13:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants