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

Document how to set up development environment #40

Open
FeynmanZhou opened this issue Jul 12, 2023 · 1 comment
Open

Document how to set up development environment #40

FeynmanZhou opened this issue Jul 12, 2023 · 1 comment
Assignees
@Two-Hearts
Labels
Governance issues to improve governance posture

Comments

@FeynmanZhou
Copy link
Member

Notation only has a building guide. We need to document how to set up the development environment in the contributing guide. It helps new contributors get started with Notation development.
@FeynmanZhou FeynmanZhou added the Governance issues to improve governance posture label Jul 12, 2023
@FeynmanZhou FeynmanZhou modified the milestone: 1.0.0 Jul 12, 2023
@FeynmanZhou FeynmanZhou mentioned this issue Aug 30, 2023
Open
@FeynmanZhou
Copy link
Member Author

As a follow-up action, we need to review this build.md and make sure it is up-to-date and friendly to new developers.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Two-Hearts Two-Hearts

Labels
Governance issues to improve governance posture
Projects
Notary Project Planning Board
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
2 participants
@FeynmanZhou @Two-Hearts