Skip to content

chore: enhance development environment with Makefile and shell.nix#304

Merged
msanlli merged 2 commits intodevelopfrom
chore/improve-dev-environment
Jun 8, 2025
Merged

chore: enhance development environment with Makefile and shell.nix#304
msanlli merged 2 commits intodevelopfrom
chore/improve-dev-environment

Conversation

@msanlli
Copy link
Member

@msanlli msanlli commented Jun 8, 2025

No description provided.

@msanlli msanlli merged commit ba74bdd into develop Jun 8, 2025
@msanlli msanlli deleted the chore/improve-dev-environment branch June 8, 2025 16:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant