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

Document Option type #207

Closed
github-actions bot opened this issue Jun 21, 2023 · 0 comments · Fixed by #333
Closed

Document Option type #207

github-actions bot opened this issue Jun 21, 2023 · 0 comments · Fixed by #333
Labels
0.10.0 Part of Noir's v0.10.0 release migrated

Comments

@github-actions
Copy link

Document PR #1781 on the Noir repository.
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Jun 21, 2023
@Savio-Sou Savio-Sou added the pending-pr-merge Pending original Noir PR to be merged in. label Jul 13, 2023
@Savio-Sou Savio-Sou changed the title Document Noir PR 1781 Document Option type Jul 13, 2023
@Savio-Sou Savio-Sou mentioned this issue Aug 1, 2023
Closed
@critesjosh critesjosh 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 15, 2023
@critesjosh critesjosh mentioned this issue Aug 15, 2023
Merged
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Aug 15, 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.

add option type page noir-lang/docs
2 participants
@critesjosh @Savio-Sou