Merge pull request #533 from AdaWorldAPI/claude/odoo-virtually-overrides #453
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: $?" |