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

Fix ConnectionStrategy.make_connection return type #12

Merged
merged 10 commits into from
May 31, 2024

Conversation

p7g
Copy link
Collaborator

@p7g p7g commented May 29, 2024

Fixes #8

Did this work ages ago and apparently forgot to merge it

Plus fixes for CI

@p7g p7g requested review from sciyoshi and miadabrin May 29, 2024 17:26
@coveralls
Copy link

coveralls commented May 29, 2024

Coverage Status

coverage: 88.442% (+88.4%) from 0.0%
when pulling 6e49f6e on fix-connectionstrategy-types
into 1c2acbe on main.

@p7g p7g force-pushed the fix-connectionstrategy-types branch from a89779e to b134d0a Compare May 29, 2024 17:40
@p7g p7g force-pushed the fix-connectionstrategy-types branch from 41fc707 to 05dbdd5 Compare May 29, 2024 17:53
@p7g p7g force-pushed the fix-connectionstrategy-types branch from 05dbdd5 to 3a8fde7 Compare May 29, 2024 17:59
@p7g p7g force-pushed the fix-connectionstrategy-types branch from e6b98a0 to d60e6a6 Compare May 29, 2024 18:13
@p7g p7g merged commit ae23bd6 into main May 31, 2024
31 checks passed
@p7g p7g deleted the fix-connectionstrategy-types branch May 31, 2024 14:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

Possibly wrong type hints for ConnectionStrategy.make_connection()
3 participants