Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

Fix typo #122

Merged
merged 2 commits into from
Sep 13, 2023
Merged

Fix typo #122

merged 2 commits into from
Sep 13, 2023

Conversation

indextree
Copy link
Contributor

Fixed simple typo: circuit

@qwang98
Copy link
Collaborator

qwang98 commented Sep 11, 2023

Feel free to merge. You can ignore the failed CI run as this won't publish new package to Pypi. @indextree

@leolara
Copy link
Collaborator

leolara commented Sep 13, 2023

@indextree when it is approved, you can click merge

@leolara leolara added this pull request to the merge queue Sep 13, 2023
Merged via the queue into privacy-scaling-explorations:main with commit 2c7371a Sep 13, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants