name: VEX Proof Bundles on: pull_request: paths: - 'scripts/vex/**' - 'tests/Vex/ProofBundles/**' - 'docs/benchmarks/vex-evidence-playbook*' - '.gitea/workflows/vex-proof-bundles.yml' push: branches: [ main ] paths: - 'scripts/vex/**' - 'tests/Vex/ProofBundles/**' - 'docs/benchmarks/vex-evidence-playbook*' - '.gitea/workflows/vex-proof-bundles.yml' jobs: verify-bundles: runs-on: ubuntu-latest steps: - name: Checkout uses: actions/checkout@v4 - name: Task Pack offline bundle fixtures run: python3 scripts/packs/run-fixtures-check.sh - name: Setup Python uses: actions/setup-python@v5 with: python-version: '3.12' - name: Install deps run: pip install --disable-pip-version-check --no-cache-dir -r scripts/vex/requirements.txt - name: Verify proof bundles (offline) env: PYTHONHASHSEED: "0" run: | chmod +x tests/Vex/ProofBundles/test_verify_sample.sh tests/Vex/ProofBundles/test_verify_sample.sh