Skip to content

chore: make optional fields visible to type checkers - #583

Merged
jsstevenson merged 2 commits into
mainfrom
default-arg-name
Sep 26, 2025
Merged

jsstevenson merged 2 commits into
mainfrom
default-arg-name

Conversation

@jsstevenson

Copy link
Copy Markdown
Contributor

No description provided.

@jsstevenson
jsstevenson marked this pull request as ready for review September 22, 2025 21:10
@jsstevenson
jsstevenson requested review from a team as code owners September 22, 2025 21:10
@jsstevenson jsstevenson added the priority:low Low priority label Sep 22, 2025
@jsstevenson
jsstevenson merged commit 4f45c5b into main Sep 26, 2025
16 checks passed
@jsstevenson
jsstevenson deleted the default-arg-name 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