Skip to content

Remove ninja build rs - #98

Merged
MusicalNinjaDad merged 4 commits into
mainfrom
remove_ninja-build_rs
Aug 27, 2026
Merged

Remove ninja build rs#98
MusicalNinjaDad merged 4 commits into
mainfrom
remove_ninja-build_rs

Conversation

@MusicalNinjaDad

Copy link
Copy Markdown
Owner

@sourcery-ai sourcery-ai Bot left a comment

Copy link
Copy Markdown

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 assessment

Approved.


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 0f2a092 into main Aug 27, 2026
25 checks passed
@MusicalNinjaDad
MusicalNinjaDad deleted the remove_ninja-build_rs branch August 27, 2026 05:10
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