Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Provide a root workspace #21

Merged
merged 1 commit into from
Apr 4, 2024
Merged

Provide a root workspace #21

merged 1 commit into from
Apr 4, 2024

Conversation

lperdereau
Copy link
Contributor

Close #20

jamesmunns
jamesmunns approved these changes Apr 4, 2024
View reviewed changes
Copy link
Collaborator

@jamesmunns jamesmunns left a comment

Choose a reason for hiding this comment

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

Thank you!

@jamesmunns jamesmunns added the F-Tooling Functionality relating to tooling outside of River itself label Apr 4, 2024
@jamesmunns jamesmunns added this to the Kickstart Spike 1 milestone Apr 4, 2024
@jamesmunns jamesmunns merged commit 9538f51 into memorysafety:main Apr 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jamesmunns jamesmunns jamesmunns approved these changes

Assignees
No one assigned
Labels
F-Tooling Functionality relating to tooling outside of River itself
Projects
None yet
Milestone
Kickstart Spike 1
Development

Successfully merging this pull request may close these issues.

Provide a root workspace
2 participants
@lperdereau @jamesmunns