Skip to content

Automate export of rbi.rbi#434

Merged
Morriar merged 2 commits intomainfrom
at-rbi-dir
Mar 11, 2025
Merged

Automate export of rbi.rbi#434
Morriar merged 2 commits intomainfrom
at-rbi-dir

Conversation

@Morriar
Copy link
Copy Markdown
Contributor

@Morriar Morriar commented Mar 11, 2025

Follow up on #433, and using Shopify/spoom#697 we can now automate the creation of the exported RBI file.

Morriar added 2 commits March 11, 2025 15:40
Signed-off-by: Alexandre Terrasa <alexandre.terrasa@shopify.com>
Signed-off-by: Alexandre Terrasa <alexandre.terrasa@shopify.com>
@Morriar Morriar added the chore Chore task label Mar 11, 2025
@Morriar Morriar self-assigned this Mar 11, 2025
@Morriar Morriar requested a review from a team as a code owner March 11, 2025 19:42
@Morriar Morriar merged commit f205d39 into main Mar 11, 2025
8 checks passed
@Morriar Morriar deleted the at-rbi-dir branch March 11, 2025 20:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Chore task

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants