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.

Sign up for GitHub

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

Add All Commands to CI Regression #71

Merged
merged 6 commits into from
Jan 8, 2025
Merged

Add All Commands to CI Regression #71

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
256903c
Add All Commands to CI Regression
nivcertora Jan 8, 2025
1b6475a
Fix cp
nivcertora Jan 8, 2025
0e32d76
.
nivcertora Jan 8, 2025
39b052e
Split regression
nivcertora Jan 8, 2025
0ca3002
Merge branch 'main' of github.com:Certora/Quorum into niv/CERT-7975-T…
nivcertora Jan 8, 2025
c23f5fe
Fix config input
nivcertora Jan 8, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
37 changes: 31 additions & 6 deletions .github/workflows/CI.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,10 +36,35 @@ jobs:
- name: Install Quorum Repo
run: pip3.11 install .

- name: Execute Regression Tests
- name: Run unit tests
run: pytest Quorum/tests --maxfail=1 --disable-warnings --tb=short

- name: Run Quorum setup
run: Quorum setup --working_dir workdir

- name: Init working directory
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-ipfs --proposal_id 20 --chain Scroll --proposal_address 0x2B25cb729D90630395Cd3140f3460a73A41Fe5f0
mv Quorum/tests/regression.json workdir/regression.json
mv Quorum/tests/ground_truth.json workdir/ground_truth.json
echo "ETHSCAN_API_KEY=${ETHSCAN_API_KEY}" >> workdir/.env
echo "ANTHROPIC_API_KEY=${ANTHROPIC_API_KEY}" >> workdir/.env

- name: Single Address Test
working-directory: workdir
run: Quorum validate-address --customer Aave --chain Ethereum --proposal_address 0xAD6c03BF78A3Ee799b86De5aCE32Bb116eD24637

- name: Batch Test
working-directory: workdir
run: Quorum validate-batch --config regression.json

- name: Proposal ID Test
working-directory: workdir
run: Quorum validate-by-id --proposal_id 137 --customer Aave

- name: IPFS Test
working-directory: workdir
run: Quorum validate-ipfs --proposal_id 20 --chain Scroll --proposal_address 0x2B25cb729D90630395Cd3140f3460a73A41Fe5f0

- name: Create Report
working-directory: workdir
run: Quorum create-report --proposal_id 137
2 changes: 0 additions & 2 deletions Quorum/entry_points/quorum_cli.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,3 @@
# Quorum/entry_points/quorum_cli.py

import argparse
from pydantic import BaseModel

Expand Down
2 changes: 1 addition & 1 deletion version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
20250108.102745.806579
20250108.105422.494484
Loading