Skip to content

rubocop: Add types of rubocop#1020

Merged
github-actions[bot] merged 1 commit into
ruby:mainfrom
tk0miya:rubocop/update
Mar 30, 2026
Merged

rubocop: Add types of rubocop#1020
github-actions[bot] merged 1 commit into
ruby:mainfrom
tk0miya:rubocop/update

Conversation

@tk0miya
Copy link
Copy Markdown
Contributor

@tk0miya tk0miya commented Mar 29, 2026

@github-actions
Copy link
Copy Markdown

@tk0miya Thanks for your contribution!

Please follow the instructions below for each change.
See also: https://github.com/ruby/gem_rbs_collection/blob/main/docs/CONTRIBUTING.md

Available commands

You can use the following commands by commenting on this PR.

  • /merge: Merge this PR if CI passes

rubocop

You changed RBS files for an existing gem.
You need to get approval from the reviewers of this gem.

@kozy4324, please review this pull request.
If this change is acceptable, please make a review comment including APPROVE from here.
Screen Shot 2024-03-19 at 14 13 36

After that, the PR author or the reviewers can merge this PR.
Just comment /merge to merge this PR.

Copy link
Copy Markdown
Contributor

@kozy4324 kozy4324 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

APPROVE

@github-actions
Copy link
Copy Markdown

Thanks for your review, @kozy4324!

@tk0miya, @kozy4324 This PR is ready to be merged.
Just comment /merge to merge this PR.

@kozy4324
Copy link
Copy Markdown
Contributor

/merge

@github-actions github-actions Bot merged commit d113984 into ruby:main Mar 30, 2026
7 checks passed
@tk0miya tk0miya deleted the rubocop/update branch May 1, 2026 19:32
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.

2 participants