Fix type-checking error for console.render call#127

Merged

tobiasraabe merged 5 commits intomainfrom

fix-typing-issue

Dec 23, 2025

Commits on Dec 22, 2025

[pre-commit.ci] pre-commit autoupdate
pre-commit-ci[bot]
authored

Commits on Dec 23, 2025