Skip to content

chore: add Cargo.lock file #755

chore: add Cargo.lock file

chore: add Cargo.lock file #755

Triggered via pull request December 9, 2025 13:02
Status Success
Total duration 12m 50s
Artifacts 4

ci.yml

on: pull_request
build_cli_with_verify
1m 55s
build_cli_with_verify
build_cli_no_verifiers_512
2m 33s
build_cli_no_verifiers_512
tests
2m 16s
tests
cargo fmt
28s
cargo fmt
ISA tests for simulator
1m 12s
ISA tests for simulator
full_recursion_fast
2m 11s
full_recursion_fast
risc_v_tests_delegations
1m 12s
risc_v_tests_delegations
circuits_generated
2m 26s
circuits_generated
build_cli_no_verifiers
3m 28s
build_cli_no_verifiers
verification_example
7m 34s
verification_example
oh_bender_incremental_proofs
1m 33s
oh_bender_incremental_proofs
full_recursion
3m 37s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
build_cli_with_verify: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
tests: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
full_recursion_fast: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
full_recursion_fast: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
full_recursion_fast: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
build_cli_no_verifiers_512: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
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
circuits_generated: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
build_cli_no_verifiers: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable

Artifacts

Produced during runtime
Name Size Digest
cli
5.26 MB
sha256:9a6ee3ee7e20960824c113a5b028cd6ccbfeabc037bd4ee17741c881e0f6d890
cli_512
5.22 MB
sha256:89e2d57be374de8618da1b16a851530fdbb5d78899c4e591fafc890d62fc60d5
cli_with_verify
8.58 MB
sha256:332c8b947cd953cb70a157e4d3f174c0b03a6c52d95a08f8f74f7077baa04b66
verifier
558 KB
sha256:b5306464f1ddbfb317af2bb963cd5bb86c04f0bca7f5ba3eae7da8b21209afc5