Skip to content

Enable the type checker by default#795

Open
robertoraggi wants to merge 3 commits intomainfrom
distinguished-ermine
Open

Enable the type checker by default#795
robertoraggi wants to merge 3 commits intomainfrom
distinguished-ermine

Conversation

@robertoraggi
Copy link
Copy Markdown
Owner

No description provided.

@robertoraggi robertoraggi force-pushed the distinguished-ermine branch from d4d9ff6 to fed0ff2 Compare April 8, 2026 19:18
Signed-off-by: Roberto Raggi <roberto.raggi@gmail.com>
@robertoraggi robertoraggi force-pushed the distinguished-ermine branch from fed0ff2 to 8ba3d20 Compare April 8, 2026 19:26
Signed-off-by: Roberto Raggi <roberto.raggi@gmail.com>
Signed-off-by: Roberto Raggi <roberto.raggi@gmail.com>
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