Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

noir-source-resolver pulled into noir repo #2439

Closed
Tracked by #27
kobyhallx opened this issue Aug 25, 2023 · 1 comment · Fixed by #2485
Closed
Tracked by #27

noir-source-resolver pulled into noir repo #2439

kobyhallx opened this issue Aug 25, 2023 · 1 comment · Fixed by #2485
Assignees

Comments

@kobyhallx
Copy link
Contributor

kobyhallx commented Aug 25, 2023

noir-source-resolver should get pulled to noir main repo.

@kobyhallx kobyhallx changed the title [noir-source-resolver](https://github.com/noir-lang/noir-source-resolver) noir-source-resolver pulled into noir repo Aug 25, 2023
@kobyhallx kobyhallx self-assigned this Aug 25, 2023
@kobyhallx kobyhallx transferred this issue from noir-lang/Planning Aug 25, 2023
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Aug 25, 2023
@kobyhallx kobyhallx assigned jonybur and unassigned kobyhallx Aug 29, 2023
@jonybur
Copy link
Contributor

jonybur commented Aug 30, 2023

#2485

@jonybur jonybur moved this from 📋 Backlog to 🏗 In progress in Noir Aug 30, 2023
@github-project-automation github-project-automation bot moved this from 🏗 In progress to ✅ Done in Noir Sep 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

3 participants