Skip to content

Update examples to Aztec v4.2.0-aztecnr-rc.2 #75

Update examples to Aztec v4.2.0-aztecnr-rc.2

Update examples to Aztec v4.2.0-aztecnr-rc.2 #75

name: Recursive Verification Tests
on:
push:
branches:
- next
pull_request:
branches:
- next
paths:
- "recursive_verification/**"
- ".github/workflows/recursive-verification-tests.yml"
workflow_dispatch:
jobs:
recursive-verification-tests:
name: Recursive Verification Tests
runs-on: ubuntu-latest
env:
AZTEC_ENV: local-network
AZTEC_VERSION: 4.2.0-aztecnr-rc.2
steps:
- name: Checkout repository
uses: actions/checkout@v5
- name: Set up Node.js
uses: actions/setup-node@v4
with:
node-version: "22"
cache: "yarn"
cache-dependency-path: recursive_verification/yarn.lock
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
- name: Install Aztec CLI
run: |
INSTALL_URL="https://install.aztec.network/${{ env.AZTEC_VERSION }}/"
curl -sL $INSTALL_URL > tmp.sh
VERSION=${{ env.AZTEC_VERSION }} bash tmp.sh <<< yes "yes"
- name: Update path
run: |
echo "$HOME/.aztec/current/bin" >> $GITHUB_PATH
echo "$HOME/.aztec/current/node_modules/.bin" >> $GITHUB_PATH
echo "$HOME/.aztec/bin" >> $GITHUB_PATH
- name: Install project dependencies
working-directory: recursive_verification
run: yarn install --frozen-lockfile
- name: Compile Noir circuit
working-directory: recursive_verification/circuit
run: nargo compile
- name: Change ownership for nargo files
run: sudo chown -R $(whoami) ~/nargo || true
- name: Compile contract and generate artifacts
working-directory: recursive_verification
run: |
ulimit -s unlimited
script -e -c "yarn ccc"
timeout-minutes: 15
- name: Generate proof data
working-directory: recursive_verification
env:
BB_SINGLE_THREADED: "1"
HARDWARE_CONCURRENCY: "1"
NODE_OPTIONS: "--max-old-space-size=6144"
run: |
echo "Generating proof data with memory optimizations..."
yarn data
timeout-minutes: 30
- name: Start local Aztec network
run: aztec start --local-network &
- name: Wait for local network to be ready
run: |
echo "Waiting for local network to start..."
for i in {1..30}; do
if curl -s http://localhost:8080/status >/dev/null 2>&1; then
echo "Local network is ready!"
break
fi
echo "Waiting... ($i/30)"
sleep 5
done
- name: Run tests
working-directory: recursive_verification
run: yarn test
timeout-minutes: 15
- name: Upload test results if failed
if: failure()
uses: actions/upload-artifact@v4
with:
name: test-logs
path: |
recursive_verification/tests/**/*.log
recursive_verification/data.json
retention-days: 7