Skip to content

Remove dependency on maturin#88

Merged
DarkaMaul merged 2 commits into
mainfrom
dm/remove-maturin
Dec 11, 2024
Merged

Remove dependency on maturin#88
DarkaMaul merged 2 commits into
mainfrom
dm/remove-maturin

Conversation

@DarkaMaul

Copy link
Copy Markdown
Collaborator

Fixes #86

We keep it in dev target because we want to be able to run make dev

@mgorny

mgorny commented Dec 11, 2024

Copy link
Copy Markdown

Thanks!

@facutuesca facutuesca left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM!

@DarkaMaul DarkaMaul merged commit a31282d into main Dec 11, 2024
@DarkaMaul DarkaMaul deleted the dm/remove-maturin branch December 11, 2024 12:59
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.

Incorrect runtime dependency on maturin

3 participants