Skip to content
This repository was archived by the owner on Sep 8, 2025. It is now read-only.

split out mypy workflow#143

Merged
jepler merged 1 commit intomainfrom
split-mypy
May 20, 2025
Merged

split out mypy workflow#143
jepler merged 1 commit intomainfrom
split-mypy

Conversation

@jepler
Copy link
Copy Markdown
Owner

@jepler jepler commented May 20, 2025

This removes duplicated effort (and I don't care to chase mypy diagnostics across all Python versions) but also works around python/mypy#19020

@jepler jepler merged commit 142971b into main May 20, 2025
25 checks passed
@jepler jepler deleted the split-mypy branch May 20, 2025 11:50
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.

1 participant