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.

Sign up for GitHub

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

Jump to bottom

Remove wasm-pack from build and use cargo instead #1545

Closed
jonybur opened this issue Jun 5, 2023 · 3 comments
Closed

Remove wasm-pack from build and use cargo instead #1545

jonybur opened this issue Jun 5, 2023 · 3 comments
Assignees
@jonybur
Labels
enhancement New feature or request

Comments

@jonybur
Copy link
Contributor

jonybur commented Jun 5, 2023

No description provided.

@jonybur jonybur added this to Noir Jun 5, 2023
@jonybur jonybur self-assigned this Jun 5, 2023
@jonybur jonybur converted this from a draft issue Jun 5, 2023
@jonybur jonybur added the enhancement New feature or request label Jun 5, 2023
@jonybur
Copy link
Contributor Author

jonybur commented Jun 6, 2023

Getting fixed as part of #1208

@jonybur jonybur moved this from 🏗 In progress to 🚧 Blocked in Noir Jun 7, 2023
@jonybur jonybur moved this from 🚧 Blocked to 🏗 In progress in Noir Jun 8, 2023
@jonybur jonybur mentioned this issue Jun 13, 2023
Merged
6 tasks
@jonybur jonybur moved this from 🏗 In progress to ✅ Done in Noir Jun 18, 2023
@kevaundray
Copy link
Contributor

@jonybur whats the status of this?

@jonybur
Copy link
Contributor Author

jonybur commented Jul 21, 2023

Done and merged. Closing.

@jonybur jonybur closed this as completed Jul 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jonybur jonybur

Labels
enhancement New feature or request
Projects
Noir
Archived in project
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jonybur @kevaundray