Skip to content

chore(typing): Disallow untyped defs + fix warnings#51

Merged
Xennis merged 5 commits intomainfrom
chore_typing_disallow_untyped_defs
Sep 23, 2025
Merged

chore(typing): Disallow untyped defs + fix warnings#51
Xennis merged 5 commits intomainfrom
chore_typing_disallow_untyped_defs

Conversation

@Xennis
Copy link
Owner

@Xennis Xennis commented Sep 23, 2025

No description provided.

@Xennis Xennis force-pushed the chore_typing_disallow_untyped_defs branch from 169d62c to 8c9c92f Compare September 23, 2025 16:26
@Xennis Xennis changed the title chore(typing): Disallow untyped defs chore(typing): Disallow untyped defs + fix warnings Sep 23, 2025
@Xennis Xennis force-pushed the chore_typing_disallow_untyped_defs branch from 9bd4def to 8aceb4d Compare September 23, 2025 16:32
@Xennis Xennis merged commit 55c1db5 into main Sep 23, 2025
3 checks passed
@Xennis Xennis deleted the chore_typing_disallow_untyped_defs branch September 23, 2025 16:33
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