Skip to content

Comments

fix: pinidInteger | String で定義#12

Merged
tufusa merged 4 commits intomainfrom
fix/widen-pin-and-id
Jan 9, 2026
Merged

fix: pinidInteger | String で定義#12
tufusa merged 4 commits intomainfrom
fix/widen-pin-and-id

Conversation

@tufusa
Copy link
Member

@tufusa tufusa commented Jan 9, 2026

sig/_private/internal.rbs に共通化

@tufusa tufusa merged commit 13849d2 into main Jan 9, 2026
1 check passed
@tufusa tufusa deleted the fix/widen-pin-and-id branch January 9, 2026 06:07
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