rust.yml

name: Rust

on:
  push:
    branches: ["*"]
  pull_request:
    branches: ["*"]

env:
  CARGO_TERM_COLOR: always

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v3

      - name: Install solc
        run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.20 && solc --version

      - name: Test Zk Prover
        run: |
          cd zk_prover
          cargo test --release --features dev-graph -- --nocapture

      - name: Test Nova Prover
        run: |
          cd zk_prover
          cargo run --release --example nova_incremental_verifier

      - name: Install Foundry
        uses: foundry-rs/foundry-toolchain@v1

      - name: Test backend
        run: |
          cd backend
          cargo test --release -- --nocapture

      - name: Test example
        run: |
          cd backend
          cargo run --release --example summa_solvency_flow