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.

Sign up for GitHub

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

Jump to bottom

Define types for plugin.py #738

Merged
merged 1 commit into from
Nov 13, 2023
Merged

Define types for plugin.py #738

merged 1 commit into from
Nov 13, 2023

Conversation

amaslenn
Copy link
Contributor

No description provided.

@philpep philpep added enhancement This issue/PR relates to a feature request. typing and removed enhancement This issue/PR relates to a feature request. labels Nov 13, 2023
@philpep philpep merged commit 0c6eaca into pytest-dev:main Nov 13, 2023
7 checks passed
@philpep
Copy link
Contributor

philpep commented Nov 13, 2023

Merged, thanks!

@amaslenn amaslenn deleted the plugin-types branch November 13, 2023 16:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@philpep philpep philpep approved these changes

Assignees
No one assigned
Labels
typing
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@amaslenn @philpep