Skip to content

Use GitHub Copilot to improve type annotations#805

Merged
brainix merged 1 commit intomasterfrom
type-annotations
Jan 4, 2026
Merged

Use GitHub Copilot to improve type annotations#805
brainix merged 1 commit intomasterfrom
type-annotations

Conversation

@brainix
Copy link
Owner

@brainix brainix commented Jan 4, 2026

No description provided.

@brainix brainix self-assigned this Jan 4, 2026
@brainix
Copy link
Owner Author

brainix commented Jan 4, 2026

✔️

@brainix brainix merged commit eee4f5c into master Jan 4, 2026
5 checks passed
@brainix brainix deleted the type-annotations branch January 4, 2026 14:51
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