Skip to content

Commit

Permalink
.
Browse files Browse the repository at this point in the history
  • Loading branch information
liav-certora committed Jan 7, 2025
1 parent 515f33b commit 605c326
Show file tree
Hide file tree
Showing 4 changed files with 6 additions and 6 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/CI.yml
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,6 @@ jobs:
- name: Execute Regression Tests
run: |
pytest Quorum/tests --maxfail=1 --disable-warnings --tb=short
Quorum validate-address --customer Aave --chain Ethereum --proposal_address 0xAD6c03BF78A3Ee799b86De5aCE32Bb116eD24637
Quorum validate-batch --config Quorum/tests/regression.json
Quorum validate-by-id --proposal_id 137 --customer Aave
quorum validate-address --protocol_name Aave --chain Ethereum --payload_address 0xAD6c03BF78A3Ee799b86De5aCE32Bb116eD24637
quorum validate-batch --config_path Quorum/tests/regression.json
quorum validate-by-id --proposal_id 137 --protocol_name Aave
2 changes: 1 addition & 1 deletion Quorum/entry_points/cli_arguments.py
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ class Argument(BaseModel):


CONFIG_ARGUMENT = Argument(
name='--config-path',
name='--config_path',
type=arg_valid.load_config,
required=True,
help="Path to the Json config file."
Expand Down
2 changes: 1 addition & 1 deletion pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ Homepage = "https://github.com/Certora/Quorum"
Source = "https://github.com/Certora/Quorum"

[project.scripts]
Quorum = "Quorum.entry_points.quorum_cli:main"
quorum = "Quorum.entry_points.quorum_cli:main"

[tool.setuptools]
include-package-data = true
2 changes: 1 addition & 1 deletion version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
20250107.151758.528252
20250107.192639.052049

0 comments on commit 605c326

Please sign in to comment.