Skip to content

Inline minor fix#2514

Merged
soutaro merged 3 commits into
masterfrom
inline-minor-fix
May 27, 2025
Merged

Inline minor fix#2514
soutaro merged 3 commits into
masterfrom
inline-minor-fix

Conversation

@soutaro

@soutaro soutaro commented May 27, 2025

Copy link
Copy Markdown
Member

No description provided.

soutaro added 3 commits May 27, 2025 11:46
* The types of `resolve_type_names` and `resolve_signature` are updated
* Updates the type of parameters of `unload` and deprecates the old one
@soutaro soutaro added this to the RBS 4.0 milestone May 27, 2025
@soutaro soutaro added this pull request to the merge queue May 27, 2025
Merged via the queue into master with commit b2f05d3 May 27, 2025
23 checks passed
@soutaro soutaro deleted the inline-minor-fix branch May 27, 2025 03:03
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