Document `nargo init` #216

github-actions · 2023-07-04T12:16:41Z

Document PR #1859 on the Noir repository.

github-actions bot added the migrated label Jul 4, 2023

github-project-automation bot added this to Noir Jul 4, 2023

github-project-automation bot moved this to 📋 Backlog in Noir Jul 4, 2023

Savio-Sou changed the title ~~Document Noir PR 1859~~ Document nargo init Jul 5, 2023

critesjosh added the pending-pr-merge Pending original Noir PR to be merged in. label Jul 17, 2023

critesjosh removed the pending-pr-merge Pending original Noir PR to be merged in. label Jul 27, 2023

critesjosh self-assigned this Jul 27, 2023

critesjosh mentioned this issue Jul 27, 2023

add init #287

Merged

critesjosh closed this as completed in #287 Jul 27, 2023

github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Jul 27, 2023

Provide feedback