Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature/introduce protocols #597

Merged
merged 1 commit into from
Jan 19, 2024
Merged

Feature/introduce protocols #597

merged 1 commit into from
Jan 19, 2024

Conversation

dynobo
Copy link
Owner

@dynobo dynobo commented Jan 19, 2024

No description provided.

@dynobo dynobo force-pushed the feature/introduce-protocols branch from a0ddc9e to c055b27 Compare January 19, 2024 23:31
@coveralls
Copy link
Collaborator

coveralls commented Jan 19, 2024

Coverage Status

coverage: 86.256% (+0.3%) from 85.914%
when pulling 461743b on feature/introduce-protocols
into 3b0f997 on main.

@dynobo dynobo force-pushed the feature/introduce-protocols branch from c055b27 to 461743b Compare January 19, 2024 23:43
@dynobo dynobo merged commit 8e2d689 into main Jan 19, 2024
20 checks passed
@dynobo dynobo deleted the feature/introduce-protocols branch January 19, 2024 23:55
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.

2 participants