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

Document Noir PR 1917 #236

Closed
github-actions bot opened this issue Jul 12, 2023 · 1 comment · Fixed by #311
Closed

Document Noir PR 1917 #236

github-actions bot opened this issue Jul 12, 2023 · 1 comment · Fixed by #311
Labels
migrated

Comments

@github-actions
Copy link

Document PR #1917 on the Noir repository.
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Jul 12, 2023
@Savio-Sou Savio-Sou added the pending-pr-merge Pending original Noir PR to be merged in. label Jul 13, 2023
@critesjosh critesjosh removed the pending-pr-merge Pending original Noir PR to be merged in. label Jul 27, 2023
@critesjosh
Copy link
Collaborator

critesjosh commented Jul 27, 2023 •
edited
Loading

follow up question (for reference)

noir-lang/noir#1917 (comment)

@signorecello signorecello mentioned this issue Aug 8, 2023
Merged
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Aug 8, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
migrated
Projects
Noir
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

adding brillig powered logs noir-lang/docs
2 participants
@critesjosh @Savio-Sou