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

mypy test fails due to # type: ignore in sphinx/util/logging.py #10687

Closed
jfbu opened this issue Jul 20, 2022 · 1 comment
Closed

mypy test fails due to # type: ignore in sphinx/util/logging.py #10687

jfbu opened this issue Jul 20, 2022 · 1 comment
Labels
type:bug
Milestone
5.0.3

Comments

@jfbu
Copy link
Contributor

jfbu commented Jul 20, 2022

Describe the bug

https://github.com/sphinx-doc/sphinx/runs/7436585449?check_suite_focus=true

but recent merges are unrelated...

How to Reproduce

$ git clone https://github.com/.../some_project
$ cd some_project
$ pip install -r requirements.txt
$ cd docs
$ make html SPHINXOPTS="-D language=de"
$ # open _build/html/index and see bla bla

Expected behavior

No response

Your project

sphinx

Screenshots

No response

OS

Mac

Python version

3.10.4

Sphinx version

5.x f20fca9

Sphinx extensions

No response

Extra tools

No response

Additional context

Raising this to draw attention as I can't take care of it...
@jfbu jfbu added the type:bug label Jul 20, 2022
@tk0miya
Copy link
Member

tk0miya commented Jul 23, 2022

Fixed by #10693.

@tk0miya tk0miya closed this as completed Jul 23, 2022
@tk0miya tk0miya added this to the 5.0.3 milestone Jul 23, 2022
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 23, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
type:bug
Projects
None yet
Milestone
5.0.3
Development

No branches or pull requests
2 participants
@tk0miya @jfbu