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: fix some more imports #8804

Merged
merged 1 commit into from
Sep 26, 2024
Merged

chore: fix some more imports #8804

merged 1 commit into from
Sep 26, 2024

Conversation

nventuro
Copy link
Contributor

Continuation of #8760 and #8748. We still get some private exports due to noir-lang/noir#6154, but hopefully those will be fixed soon.

@nventuro nventuro requested review from benesjan and removed request for fcarreiro and dbanks12 September 25, 2024 21:52
@nventuro nventuro enabled auto-merge (squash) September 25, 2024 23:42
@nventuro nventuro merged commit ffe70ec into master Sep 26, 2024
52 checks passed
@nventuro nventuro deleted the nv/imports-pub branch September 26, 2024 04:18
Rumata888 pushed a commit that referenced this pull request Sep 27, 2024
Continuation of
#8760 and #8748. We
still get some private exports due to
noir-lang/noir#6154, but hopefully those will be
fixed soon.
Rumata888 pushed a commit that referenced this pull request Sep 27, 2024
Continuation of
#8760 and #8748. We
still get some private exports due to
noir-lang/noir#6154, but hopefully those will be
fixed soon.
Rumata888 pushed a commit that referenced this pull request Sep 27, 2024
Continuation of
#8760 and #8748. We
still get some private exports due to
noir-lang/noir#6154, but hopefully those will be
fixed soon.
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.

2 participants