Skip to content

Remove pin of Python at 3.10.6 for doc build #6946

Closed
@jepler

Description

@jepler

Over in #6944 we temporarily worked around python/mypy#13499 by using an older Python.

Remove this workaround once mypy has released their fix: python/mypy#13385

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions