Skip to content

Conversation

@adamtheturtle
Copy link
Contributor

None of these issues allow us yet to remove particular overrides, but these changes, I hope, are small enough that they make sense to merge, as progress towards the larger goal of removing overrides.

None of these issues allow us yet to remove particular overrides,
but these changes, I hope, are small enough that they make sense
to merge, as progress towards the larger goal of removing
overrides.
@AA-Turner
Copy link
Member

ping on green for merge

@AA-Turner AA-Turner changed the title Resolve a few mypy issues Resolve a few mypy issues in tests Sep 23, 2024
@adamtheturtle
Copy link
Contributor Author

Ping, and thank you @AA-Turner I should have watched CI.

@AA-Turner AA-Turner merged commit 7487e76 into sphinx-doc:master Sep 25, 2024
@adamtheturtle adamtheturtle deleted the various-type-fixes branch September 25, 2024 08:05
@AA-Turner AA-Turner added this to the 8.1.x milestone Oct 6, 2024
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 6, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants