Skip to content

rename to ninja-build_rs as ninja-build is already taken#30

Merged
MusicalNinjaDad merged 1 commit into
mainfrom
rename_crate
May 2, 2026
Merged

rename to ninja-build_rs as ninja-build is already taken#30
MusicalNinjaDad merged 1 commit into
mainfrom
rename_crate

Conversation

@MusicalNinjaDad
Copy link
Copy Markdown
Owner

No description provided.

Copy link
Copy Markdown

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey - I've reviewed your changes and they look great!


Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

@MusicalNinjaDad MusicalNinjaDad merged commit ea99abd into main May 2, 2026
42 checks passed
@MusicalNinjaDad MusicalNinjaDad deleted the rename_crate branch May 2, 2026 14:37
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