-
Notifications
You must be signed in to change notification settings - Fork 604
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
refactor: rename roller
to prover
#684
Merged
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
0xmountaintop
force-pushed
the
rename/prover_2
branch
from
July 28, 2023 13:09
7fbfeea
to
f9a0de0
Compare
0xmountaintop
force-pushed
the
rename/prover_2
branch
from
July 28, 2023 13:17
8fa3c20
to
402803e
Compare
0xmountaintop
commented
Jul 28, 2023
0xmountaintop
commented
Jul 28, 2023
0xmountaintop
force-pushed
the
rename/prover_2
branch
from
July 28, 2023 13:51
3b607ec
to
e9341a4
Compare
LCOV of commit
|
0xmountaintop
force-pushed
the
rename/prover_2
branch
from
July 28, 2023 14:21
3bd42a3
to
ef6e8d2
Compare
0xmountaintop
force-pushed
the
rename/prover_2
branch
2 times, most recently
from
July 28, 2023 14:26
35d62fe
to
2434372
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Purpose or design rationale of this PR
Describe your change. Make sure to answer these three questions: What does this PR do? Why does it do it? How does it do it?
PR title
Your PR title must follow conventional commits (as we are doing squash merge for each PR), so it must start with one of the following types:
Deployment tag versioning
Has
tag
incommon/version.go
been updated?Breaking change label
Does this PR have the
breaking-change
label?