Skip to content
This repository has been archived by the owner on Oct 17, 2023. It is now read-only.

Document Noir PR 2144 #306

Closed
github-actions bot opened this issue Aug 3, 2023 · 0 comments · Fixed by #342
Closed

Document Noir PR 2144 #306

github-actions bot opened this issue Aug 3, 2023 · 0 comments · Fixed by #342
Assignees
@critesjosh
Labels
0.10.0 Part of Noir's v0.10.0 release migrated

Comments

@github-actions
Copy link

github-actions bot commented Aug 3, 2023 •
edited by Savio-Sou
Loading

Document PR #2144 on the Noir repository, which adds a optional --name flag for nargo new and nargo init.
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Aug 3, 2023
@Savio-Sou Savio-Sou added the pending-pr-merge Pending original Noir PR to be merged in. label Aug 4, 2023
@critesjosh critesjosh added the 0.10.0 Part of Noir's v0.10.0 release label Aug 11, 2023
@critesjosh critesjosh mentioned this issue Aug 22, 2023
Merged
@critesjosh critesjosh self-assigned this Aug 22, 2023
@Savio-Sou Savio-Sou removed the pending-pr-merge Pending original Noir PR to be merged in. label Aug 22, 2023
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Aug 28, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@critesjosh critesjosh

Labels
0.10.0 Part of Noir's v0.10.0 release migrated
Projects
Noir
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Jc/workspaces noir-lang/docs
2 participants
@critesjosh @Savio-Sou