Skip to content
Rust CI

chore: add final_proof_name input to cli prove command #814

Sign in to view logs

chore: add final_proof_name input to cli prove command

chore: add final_proof_name input to cli prove command #814

Triggered via pull request January 23, 2026 12:23
@antonbaliasnikovantonbaliasnikov
opened #188
aba-add-final-proof-name
Status Failure
Total duration 4m 43s
Artifacts 1

ci.yml

on: pull_request
build_cli_with_verify
41s
build_cli_with_verify
build_verifier
3m 10s
build_verifier
build_cli_no_verifiers_512
34s
build_cli_no_verifiers_512
tests
48s
tests
cargo fmt
21s
cargo fmt
ISA tests for simulator
1m 5s
ISA tests for simulator
full_recursion_fast
54s
full_recursion_fast
risc_v_tests_delegations
53s
risc_v_tests_delegations
circuits_generated
47s
circuits_generated
build_cli_no_verifiers
52s
build_cli_no_verifiers
basic_example
0s
basic_example
large_example
0s
large_example
delegation_example
0s
delegation_example
verification_example
0s
verification_example
oh_bender_incremental_proofs
0s
oh_bender_incremental_proofs
full_recursion
0s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

11 errors and 4 warnings
circuits_generated: cs/src/cs/witness_placer/graph_description/mod.rs#L6
unresolved import `std::assert_matches`
build_cli_with_verify
Process completed with exit code 101.
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/mod.rs#L6
unresolved import `std::assert_matches`
build_cli_no_verifiers
Process completed with exit code 101.
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/mod.rs#L6
unresolved import `std::assert_matches`
full_recursion_fast
Process completed with exit code 101.
full_recursion_fast: cs/src/cs/witness_placer/graph_description/mod.rs#L6
unresolved import `std::assert_matches`
tests
Process completed with exit code 101.
tests: cs/src/cs/witness_placer/graph_description/mod.rs#L6
unresolved import `std::assert_matches`
build_cli_no_verifiers_512
Process completed with exit code 101.
build_cli_no_verifiers_512: cs/src/cs/witness_placer/graph_description/mod.rs#L6
unresolved import `std::assert_matches`
build_cli_no_verifiers_512: field/src/ext_avx_512_impl.rs#L58
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: field/src/ext_avx_512_impl.rs#L55
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: field/src/avx_512_impl.rs#L36
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: field/src/lib.rs#L9
the feature `stdarch_x86_avx512` has been stable since 1.89.0 and no longer requires an attribute to enable

Artifacts

Produced during runtime
Name Size Digest
verifier
557 KB
sha256:44b4e34557456d4e98b2c610059f858908936cc75954cfaba691c9d5c8f57e8e