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

chore: make optional fields visible to type checkers#583
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