Skip to content

Chore: Update type hints#341

Merged
iLLiCiTiT merged 1 commit into
developfrom
enhancement/newer-type-type-hints
Jun 22, 2026
Merged

Chore: Update type hints#341
iLLiCiTiT merged 1 commit into
developfrom
enhancement/newer-type-type-hints

Conversation

@iLLiCiTiT

Copy link
Copy Markdown
Member

Changelog Description

Filled some type hints and use | instead of Union and Optional at some places.

@iLLiCiTiT iLLiCiTiT self-assigned this Jun 22, 2026
@iLLiCiTiT iLLiCiTiT added the type: enhancement New feature or request label Jun 22, 2026
@iLLiCiTiT iLLiCiTiT merged commit 2e0e358 into develop Jun 22, 2026
3 checks passed
@iLLiCiTiT iLLiCiTiT deleted the enhancement/newer-type-type-hints branch June 22, 2026 10:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant