Skip to content

use ty for typechecking#359

Merged
bmos merged 2 commits into
mainfrom
ty
May 15, 2026
Merged

use ty for typechecking#359
bmos merged 2 commits into
mainfrom
ty

Conversation

@bmos
Copy link
Copy Markdown
Owner

@bmos bmos commented May 15, 2026

No description provided.

@bmos bmos merged commit f6db41e into main May 15, 2026
38 checks passed
@bmos bmos deleted the ty branch May 15, 2026 00:11
@github-actions
Copy link
Copy Markdown

Coverage report

This PR does not seem to contain any modification to coverable code.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant