Add context7.json with URL and public key #48
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Recursive Verification Tests | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| 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: 3.0.0-devnet.6-patch.1 | |
| 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: Set up Docker | |
| uses: docker/setup-buildx-action@v3 | |
| - name: Install Aztec CLI | |
| run: | | |
| curl -s https://install.aztec.network > tmp.sh | |
| NON_INTERACTIVE=1 bash tmp.sh | |
| rm tmp.sh | |
| - name: Update path | |
| run: echo "$HOME/.aztec/bin" >> $GITHUB_PATH | |
| - name: Set Aztec version and start local network | |
| run: | | |
| aztec-up ${{ env.AZTEC_VERSION }} | |
| docker tag aztecprotocol/aztec:${{ env.AZTEC_VERSION }} aztecprotocol/aztec:latest | |
| aztec start --local-network & | |
| - name: Wait for local network to be ready | |
| run: | | |
| echo "Waiting for local network to start..." | |
| MAX_RETRIES=60 | |
| for i in $(seq 1 $MAX_RETRIES); do | |
| if curl -s http://localhost:8080/status >/dev/null 2>&1; then | |
| echo "✅ Local network is ready!" | |
| break | |
| fi | |
| if [ $i -eq $MAX_RETRIES ]; then | |
| echo "❌ Local network failed to start after $MAX_RETRIES attempts" | |
| exit 1 | |
| fi | |
| echo "Waiting... ($i/$MAX_RETRIES)" | |
| sleep 2 | |
| done | |
| - name: Install project dependencies | |
| working-directory: recursive_verification | |
| run: yarn install --frozen-lockfile | |
| - name: Install Nargo | |
| uses: noir-lang/[email protected] | |
| with: | |
| toolchain: 1.0.0-beta.15 | |
| - name: Compile Noir circuit | |
| working-directory: recursive_verification/circuit | |
| run: nargo compile | |
| - name: Compile contract and generate artifacts | |
| working-directory: recursive_verification | |
| run: yarn ccc | |
| - 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: 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 | |
| - name: Cleanup | |
| if: always() | |
| run: | | |
| echo "Stopping Aztec local network..." | |
| pkill -f "aztec" || true | |
| docker stop $(docker ps -q) || true | |
| docker rm $(docker ps -a -q) || true |