Skip to content

Comments

Add typing-extensions for tests#1189

Closed
agners wants to merge 8 commits intomainfrom
add-typing-extensions
Closed

Add typing-extensions for tests#1189
agners wants to merge 8 commits intomainfrom
add-typing-extensions

Conversation

@agners
Copy link
Collaborator

@agners agners commented Jul 7, 2025

This seems to be required to make mypy happy on Python 3.12.

agners and others added 2 commits July 7, 2025 19:43
This seems to be required to make mypy happy on Python 3.12.
---
updated-dependencies:
- dependency-name: ruff
  dependency-version: 0.12.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
@agners agners added the ci Improvements or additions to the CI actions label Jul 7, 2025
@agners agners marked this pull request as draft July 7, 2025 17:53
@agners agners closed this Jul 7, 2025
@agners agners deleted the add-typing-extensions branch July 7, 2025 19:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Improvements or additions to the CI actions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant