Merge pull request #540 from AdaWorldAPI/claude/lite-unified-gate #460
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: 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: $?" |