Skip to content

chore: add Cargo.lock file (#152) #763

chore: add Cargo.lock file (#152)

chore: add Cargo.lock file (#152) #763

Triggered via push December 10, 2025 12:22
Status Success
Total duration 12m 18s
Artifacts 4

ci.yml

on: push
build_cli_with_verify
1m 40s
build_cli_with_verify
build_cli_no_verifiers_512
2m 39s
build_cli_no_verifiers_512
tests
2m 3s
tests
cargo fmt
30s
cargo fmt
ISA tests for simulator
1m 23s
ISA tests for simulator
full_recursion_fast
2m 9s
full_recursion_fast
risc_v_tests_delegations
1m 11s
risc_v_tests_delegations
circuits_generated
2m 49s
circuits_generated
build_cli_no_verifiers
3m 52s
build_cli_no_verifiers
verification_example
7m 24s
verification_example
oh_bender_incremental_proofs
1m 33s
oh_bender_incremental_proofs
full_recursion
3m 38s
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.27 MB
sha256:b2ffcafada07dd7a277e105c93cb9c9ca95df7efcb0a3d9c160224c4f6cb1455
cli_512
5.24 MB
sha256:388d184b7ed32849377e52813fef6b942083c66ded06df3108f12d4467b95ac6
cli_with_verify
8.59 MB
sha256:0ad949218307732cf61ce91ad7a318d8f91ce53666cf624529979d57097a6dcb
verifier
558 KB
sha256:b18e656d7081a63413ef7c69dbc44c126e26994370bf97db17be11cffbd31879