Skip to content

Put the asset info in the CSV header #183 #85

Put the asset info in the CSV header #183

Put the asset info in the CSV header #183 #85

Workflow file for this run

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