Skip to content

Comments

Update name#223

Merged
rgbkrk merged 1 commit intomainfrom
rgbkrk-patch-1
Feb 11, 2026
Merged

Update name#223
rgbkrk merged 1 commit intomainfrom
rgbkrk-patch-1

Conversation

@rgbkrk
Copy link
Member

@rgbkrk rgbkrk commented Feb 11, 2026

Reclaiming the runt name for the rust binaries.

@rgbkrk rgbkrk merged commit 96b002e into main Feb 11, 2026
0 of 5 checks passed
@rgbkrk rgbkrk deleted the rgbkrk-patch-1 branch February 11, 2026 18:13
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.

1 participant