Skip to content

Add missing RBI annotations#643

Merged
vinistock merged 1 commit intomainfrom
03-05-add_missing_rbi_annotations
Mar 5, 2026
Merged

Add missing RBI annotations#643
vinistock merged 1 commit intomainfrom
03-05-add_missing_rbi_annotations

Conversation

@vinistock
Copy link
Member

@vinistock vinistock commented Mar 5, 2026

We were missing a few methods from recent PRs. I'll cut another release with these additions.

@vinistock vinistock self-assigned this Mar 5, 2026
Copy link
Member Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@vinistock vinistock marked this pull request as ready for review March 5, 2026 15:47
@vinistock vinistock requested a review from a team as a code owner March 5, 2026 15:47
@vinistock vinistock merged commit 5e982b6 into main Mar 5, 2026
25 checks passed
Copy link
Member Author

Merge activity

@vinistock vinistock deleted the 03-05-add_missing_rbi_annotations branch March 5, 2026 15:54
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