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

chore: Remove some unused files #937

Merged
merged 1 commit into from
Mar 6, 2023
Merged

chore: Remove some unused files #937

merged 1 commit into from
Mar 6, 2023

Conversation

phated
Copy link
Contributor

@phated phated commented Mar 1, 2023

Related issue(s)

Resolves #

Description

This removes some invalid or unused files in the repo. @kevaundray I wanted to check with you to see if noirpacker.py was still used somewhere.

Summary of changes

Dependency additions / changes

Test additions / changes

Checklist

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt with default settings.
  • I have linked this PR to the issue(s) that it resolves.
  • I have reviewed the changes on GitHub, line by line.
  • I have ensured all changes are covered in the description.
  • This PR requires documentation updates when merged.

Additional context

@kevaundray
Copy link
Contributor

Noir packer was being used to pack the stdlib into one file so that we could use it on the web without accessing file storage. I think we'd need to double check how the stdlib is being handled for noir-wasm to see if we still need it

noirpacker.py Outdated Show resolved Hide resolved
@phated phated force-pushed the phated/repo-cleanup branch from 223ba87 to c5c401c Compare March 6, 2023 15:31
@phated phated requested a review from kevaundray March 6, 2023 15:31
@TomAFrench TomAFrench enabled auto-merge March 6, 2023 15:38
@TomAFrench TomAFrench added this pull request to the merge queue Mar 6, 2023
Merged via the queue into master with commit 140762f Mar 6, 2023
@TomAFrench TomAFrench deleted the phated/repo-cleanup branch March 6, 2023 16:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants