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

Ns/chore/update zk pok versionable #1919

Merged
merged 2 commits into from
Jan 7, 2025

Conversation

nsarlin-zama
Copy link
Contributor

No description provided.

@cla-bot cla-bot bot added the cla-signed label Jan 7, 2025
Base automatically changed from am/chore/bump-fft-ntt to main January 7, 2025 12:47
@IceTDrinker IceTDrinker force-pushed the ns/chore/update_zk_pok_versionable branch from b06626e to 08f8690 Compare January 7, 2025 12:48
@zama-bot zama-bot removed the approved label Jan 7, 2025
@IceTDrinker
Copy link
Member

I think we misunderstood each other, the PR had my commits as well, let's wait for the build to complete and then merge

@nsarlin-zama
Copy link
Contributor Author

yes I based this branch on yours to avoid potential dumb conflicts

@IceTDrinker
Copy link
Member

yes I based this branch on yours to avoid potential dumb conflicts

ok no worries, I force pushed to remove my commits, for some reason github was not able to see they were in main (even after a force refresh)

@nsarlin-zama nsarlin-zama force-pushed the ns/chore/update_zk_pok_versionable branch from 08f8690 to 6a82fc5 Compare January 7, 2025 13:55
@nsarlin-zama nsarlin-zama merged commit bc742e9 into main Jan 7, 2025
50 of 51 checks passed
@nsarlin-zama nsarlin-zama deleted the ns/chore/update_zk_pok_versionable branch January 7, 2025 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants