Skip to content

Commit

Permalink
use global env var for srs size in ci
Browse files Browse the repository at this point in the history
  • Loading branch information
alxiong committed Apr 18, 2024
1 parent 8634206 commit 92d7ba7
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 4 deletions.
3 changes: 1 addition & 2 deletions .github/workflows/contracts.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@ concurrency:

env:
RUST_LOG: info,libp2p=off
AZTEC_SRS_PATH: "$HOME/.local/share/espresso-sequencer/data/aztec20/kzg10-aztec20-srs-65544.bin"

jobs:
contracts:
Expand Down Expand Up @@ -79,11 +80,9 @@ jobs:
if: ${{ github.event_name == 'pull_request' }}
run: |
export FOUNDRY_PROFILE=quick
export AZTEC_SRS_PATH="$PWD/data/aztec20/kzg10-aztec20-srs-65544.bin"
nix develop --accept-flake-config -c forge test -vvv
- name: Run tests (full version for main)
if: ${{ github.event_name != 'pull_request' }}
run: |
export AZTEC_SRS_PATH="$PWD/data/aztec20/kzg10-aztec20-srs-65544.bin"
nix develop --accept-flake-config -c forge test -vvv
2 changes: 1 addition & 1 deletion .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ concurrency:
env:
RUSTFLAGS: '--cfg async_executor_impl="async-std" --cfg async_channel_impl="async-std"'
RUST_LOG: info,libp2p=off,node=error
AZTEC_SRS_PATH: "$HOME/.local/share/espresso-sequencer/data/aztec20/kzg10-aztec20-srs-65544.bin"

jobs:
test:
Expand Down Expand Up @@ -52,7 +53,6 @@ jobs:
run: |
export RUSTFLAGS="$RUSTFLAGS --cfg hotshot_example"
export PATH="$PWD/target/release:$PATH"
export AZTEC_SRS_PATH="$PWD/data/aztec20/kzg10-aztec20-srs-65544.bin"
./scripts/download_srs_aztec.sh
cargo build --bin diff-test --release
cargo test --release --workspace --all-features --no-run
Expand Down
2 changes: 1 addition & 1 deletion justfile
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,7 @@ code-coverage:
# Download Aztec's SRS for production
download-srs:
@echo "Check existence or download SRS for production"
@AZTEC_SRS_PATH="$PWD/data/aztec20/kzg10-aztec20-srs-1048584.bin" ./scripts/download_srs_aztec.sh
@./scripts/download_srs_aztec.sh

# Download Aztec's SRS for test (smaller degree usually)
dev-download-srs:
Expand Down

0 comments on commit 92d7ba7

Please sign in to comment.