Skip to content

chore: use named arg instead of positional arg for default - #40

Merged
jsstevenson merged 1 commit into
mainfrom
default-arg-typechecking
Sep 26, 2025
Merged

jsstevenson merged 1 commit into
mainfrom
default-arg-typechecking

Conversation

@jsstevenson

Copy link
Copy Markdown
Contributor

No description provided.

@jsstevenson jsstevenson added the priority:low Low priority label Sep 22, 2025
@jsstevenson
jsstevenson marked this pull request as ready for review September 23, 2025 22:40
@jsstevenson
jsstevenson merged commit f63dea7 into main Sep 26, 2025
8 checks passed
@jsstevenson
jsstevenson deleted the default-arg-typechecking branch September 26, 2025 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

priority:low Low priority

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants