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

Document nargo info --contracts and nargo info --contract <CONTRACT> #294

Closed
github-actions bot opened this issue Jul 29, 2023 · 4 comments · Fixed by #321
Closed

Document nargo info --contracts and nargo info --contract <CONTRACT> #294

github-actions bot opened this issue Jul 29, 2023 · 4 comments · Fixed by #321
Labels
0.10.0 Part of Noir's v0.10.0 release migrated

Comments

@github-actions
Copy link

github-actions bot commented Jul 29, 2023 •
edited by Savio-Sou
Loading

Document noir-lang/noir#2249.
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Jul 29, 2023
@Savio-Sou Savio-Sou changed the title Document Noir PR 2088 Document nargo info --contracts and nargo info --contract <CONTRACT> Jul 31, 2023
@Savio-Sou Savio-Sou added the pending-pr-merge Pending original Noir PR to be merged in. label Jul 31, 2023
@critesjosh
Copy link
Collaborator

@Savio-Sou can we close this as the PR was closed?

@TomAFrench
Copy link
Member

It was superceded by noir-lang/noir#2249

@Savio-Sou
Copy link
Contributor

Thanks Tom, updated the link to PR in the Issue body.

@Savio-Sou Savio-Sou added 0.10.0 Part of Noir's v0.10.0 release and removed pending-pr-merge Pending original Noir PR to be merged in. labels Aug 11, 2023
@Ethan-000 Ethan-000 mentioned this issue Aug 13, 2023
Merged
2 tasks
@critesjosh
Copy link
Collaborator

waiting on #321

@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Aug 22, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
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.

nargo info doc noir-lang/docs
3 participants
@TomAFrench @critesjosh @Savio-Sou