Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
feat: use prover client from env #232
base: main
Are you sure you want to change the base?
feat: use prover client from env #232
Changes from 12 commits
9c3911c
027f6ae
b969e81
fd997e7
b1ac4bc
7f37479
5a3fd0e
b725e74
6366a62
e5c16c9
fe5c6c2
1d8f03a
6fd37c6
70c72ed
6682866
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing