Add proposal id option #63
Merged
+979
−562
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
…dd-Proposal-id-option
…tora/Quorum into niv/CERT-7885-Add-Proposal-id-option
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
liav-certora
previously requested changes
Jan 6, 2025
liav-certora
previously approved these changes
Jan 6, 2025
|
|
||
| To run the tool, use the command line: | ||
| **Purpose:** Generates a human-readable report of the proposal details, leveraging Jinja2 templates. |
There was a problem hiding this comment.
Quorum summary for proposal validation
yoav-el-certora
approved these changes
Jan 6, 2025
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.
https://certora.atlassian.net/browse/CERT-7885
PR Summary
This PR modernizes Quorum’s CLI architecture by consolidating the old standalone scripts (
check_proposal.py, etc.) into a single entry point,Quorum, with multiple subcommands:Additionally, the README has been updated to reflect these subcommands and removed references to the old
CheckProposal...scripts. The workflow files (CI.yml,publish-pypi.yml) and the packaging config (pyproject.toml, etc.) have also been updated accordingly, ensuring installation, publishing, and usage now align with this new unified CLI approach.