Skip to content

feat(dx): add devshell#37

Merged
rrvsh merged 1 commit intoprimefrom
feat/devshell
Oct 4, 2025
Merged

feat(dx): add devshell#37
rrvsh merged 1 commit intoprimefrom
feat/devshell

Conversation

@rrvsh
Copy link
Owner

@rrvsh rrvsh commented Oct 4, 2025

closes #5

@github-project-automation github-project-automation bot moved this to Todo in cathedral Oct 4, 2025
@rrvsh rrvsh merged commit 3658268 into prime Oct 4, 2025
@rrvsh rrvsh deleted the feat/devshell branch October 4, 2025 13:23
@github-project-automation github-project-automation bot moved this from Todo to Done in cathedral Oct 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

add a development shell

1 participant