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

Document Noir PR 2127 #301

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

Document Noir PR 2127 #301

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

Comments

@github-actions
Copy link

github-actions bot commented Aug 2, 2023

Document PR #2127 on the Noir repository.
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Aug 2, 2023
@signorecello signorecello added the pending-pr-merge Pending original Noir PR to be merged in. label Aug 2, 2023
@Savio-Sou Savio-Sou removed 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 16, 2023
Merged
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Aug 16, 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 unwrap unchecked noir-lang/docs
3 participants
@critesjosh @signorecello @Savio-Sou