Skip to content

sorbet: Update RBI files. - #23450

Merged
MikeMcQuaid merged 1 commit into
mainfrom
sorbet-files-update
Aug 5, 2026
Merged

sorbet: Update RBI files.#23450
MikeMcQuaid merged 1 commit into
mainfrom
sorbet-files-update

Conversation

@BrewTestBot

Copy link
Copy Markdown
Contributor

Autogenerated by the sorbet workflow.

@MikeMcQuaid
MikeMcQuaid enabled auto-merge August 5, 2026 16:31
@MikeMcQuaid
MikeMcQuaid added this pull request to the merge queue Aug 5, 2026
Merged via the queue into main with commit 0c43785 Aug 5, 2026
43 checks passed
@MikeMcQuaid
MikeMcQuaid deleted the sorbet-files-update branch August 5, 2026 17:10
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