Skip to content

Commit

Permalink
Exclude 'main' branch from e2e integration testing
Browse files Browse the repository at this point in the history
  • Loading branch information
storojs72 committed Dec 13, 2023
1 parent 9a67892 commit 1d5b1c2
Show file tree
Hide file tree
Showing 4 changed files with 6 additions and 45 deletions.
40 changes: 0 additions & 40 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,48 +4,8 @@ on:
push:
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
merge_group:
workflow_dispatch:

jobs:
integration-tests-e2e:
name: E2E verification
# Run on merge_group and workflow_dispatch only
if: (github.event_name != 'push' && github.event_name != 'pull_request') || github.event.action == 'enqueued'
runs-on: [self-hosted]
env:
ANVIL_PRIVATE_KEY: ${{secrets.ANVIL_PRIVATE_KEY}}
ANVIL_URL: ${{secrets.ANVIL_RPC_URL}}
strategy:
fail-fast: true
steps:
- uses: actions/checkout@v4
with:
submodules: recursive

- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
with:
version: nightly

- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: 3.8

- name: Deploy main contract
run: |
echo "CONTRACT_ADDRESS=$(forge script script/Deployment.s.sol:NovaVerifierDeployer --fork-url $ANVIL_URL --private-key $ANVIL_PRIVATE_KEY --broadcast --non-interactive | sed -n 's/.*Contract Address: //p' | tail -1)" >> $GITHUB_OUTPUT
id: deployment

- name: Load proof and public parameters
run: |
python loader.py pp-verifier-key.json pp-compressed-snark.json ${{steps.deployment.outputs.CONTRACT_ADDRESS}} $ANVIL_URL $ANVIL_PRIVATE_KEY
- name: Check proof verification status
run: |
[[ $(cast call ${{steps.deployment.outputs.CONTRACT_ADDRESS}} "verify(uint32,uint256[],uint256[],bool)(bool)" "3" "[1]" "[0]" "true" --private-key $ANVIL_PRIVATE_KEY --rpc-url $ANVIL_URL) == true ]] && exit 0 || exit 1
unit-tests:
strategy:
fail-fast: true
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/end2end.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ jobs:
&& github.event.issue.state == 'open'
&& contains(github.event.comment.body, '!test')
&& (github.event.comment.author_association == 'MEMBER' || github.event.comment.author_association == 'OWNER')
&& github.ref != 'refs/heads/main'
steps:
- uses: actions/checkout@v4
with:
Expand Down
4 changes: 1 addition & 3 deletions src/Utilities.sol
Original file line number Diff line number Diff line change
Expand Up @@ -291,9 +291,7 @@ library PolyLib {
}

uint256 coeff_index = 0;
uint256[] memory coeffs = new uint256[](
poly.coeffs_except_linear_term.length + 1
);
uint256[] memory coeffs = new uint256[](poly.coeffs_except_linear_term.length + 1);
coeffs[coeff_index] = poly.coeffs_except_linear_term[0];
coeff_index++;
coeffs[coeff_index] = linear_term;
Expand Down
6 changes: 4 additions & 2 deletions test/pp-spartan-step5-tests.t.sol
Original file line number Diff line number Diff line change
Expand Up @@ -460,8 +460,10 @@ contract PpSpartanStep5Computations is Test {
uint256[] memory eval_output_arr
) private pure returns (uint256[] memory) {
uint256 index = 0;
uint256[] memory eval_vec =
new uint256[](eval_left_arr.length + eval_right_arr.length + eval_output_arr.length + eval_A_B_C_z.length + evals_E.length + evals_val.length);
uint256[] memory eval_vec = new uint256[](
eval_left_arr.length + eval_right_arr.length + eval_output_arr.length + eval_A_B_C_z.length + evals_E.length
+ evals_val.length
);

for (uint256 i = 0; i < eval_A_B_C_z.length; i++) {
eval_vec[index] = eval_A_B_C_z[i];
Expand Down

0 comments on commit 1d5b1c2

Please sign in to comment.