Skip to content

Comments

sorbet: Update RBI files.#15400

Merged
Bo98 merged 1 commit intomasterfrom
sorbet-files-update
May 11, 2023
Merged

sorbet: Update RBI files.#15400
Bo98 merged 1 commit intomasterfrom
sorbet-files-update

Conversation

@BrewTestBot
Copy link
Contributor

Autogenerated by the sorbet workflow.

@Bo98 Bo98 merged commit 32f2258 into master May 11, 2023
@Bo98 Bo98 deleted the sorbet-files-update branch May 11, 2023 01:49
@github-actions github-actions bot added the outdated PR was locked due to age label Jun 11, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jun 11, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

outdated PR was locked due to age

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants