Skip to content

Don't run mypy on PyPy#139

Merged
davidbrochart merged 3 commits into
y-crdt:mainfrom
davidbrochart:mypy
Apr 10, 2026
Merged

Don't run mypy on PyPy#139
davidbrochart merged 3 commits into
y-crdt:mainfrom
davidbrochart:mypy

Conversation

@davidbrochart

Copy link
Copy Markdown
Contributor

No description provided.

@davidbrochart
davidbrochart merged commit 2b8d7aa into y-crdt:main Apr 10, 2026
20 checks passed
@davidbrochart
davidbrochart deleted the mypy branch April 10, 2026 07:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant