Add feature-gated partial prove interface #1182
sjudsonci.yml
on: pull_request
check-build
2m 5s
check-fmt
17s
cargo-clippy
1m 25s
detect-unused-crate
45s
bench-riscv
0s
bench-nova-public-params
0s