jc-proof.yml

name: JC Substrate Proof
on:
  push:
    branches:
      - main
  pull_request:
    paths:
      - crates/jc/**
      - crates/lance-graph-contract/src/cam.rs
      - .github/workflows/jc-proof.yml

concurrency:
  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
  cancel-in-progress: true

env:
  CARGO_TERM_COLOR: always

jobs:
  prove:
    name: Five-Pillar Substrate Proof
    runs-on: ubuntu-24.04
    timeout-minutes: 5
    steps:
      - uses: actions/checkout@v4
      - name: Setup Rust
        run: |
          rustup toolchain install stable
          rustup default stable

      - name: Run JC tests (6 unit tests)
        run: cargo test --manifest-path crates/jc/Cargo.toml

      - name: Run prove_it (substrate proof binary)
        run: |
          cargo run --manifest-path crates/jc/Cargo.toml --release --example prove_it
          echo "Exit code: $?"