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

[lint] run mypy on tests/test_addnodes.py #12111

Merged
merged 17 commits into from
Mar 16, 2024

Conversation

picnixz
Copy link
Member

@picnixz picnixz commented Mar 16, 2024

Constructed on top of #12109

pyproject.toml Outdated Show resolved Hide resolved
@picnixz
Copy link
Member Author

picnixz commented Mar 16, 2024

Well... unfortunately, we'll need to live with the fact that everytime we push a new change onto master which changes the whitelist, then the other PRs need to resolve conflicts. I think not keeping the line is better since it's easier to resolve the conflict afterwards

@picnixz picnixz merged commit 57e302e into sphinx-doc:master Mar 16, 2024
22 checks passed
@picnixz picnixz deleted the mypy/test_addnodes branch March 16, 2024 17:38
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 16, 2024
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.

None yet

1 participant