Skip to content

feat: Apply v1.3.1 upgrade changes #783

feat: Apply v1.3.1 upgrade changes

feat: Apply v1.3.1 upgrade changes #783

Triggered via pull request December 19, 2025 10:29
@EmilLutaEmilLuta
synchronize #182
evl-1-3-1
Status Success
Total duration 11m 51s
Artifacts 4

ci.yml

on: pull_request
build_cli_with_verify
1m 30s
build_cli_with_verify
build_cli_no_verifiers_512
2m 24s
build_cli_no_verifiers_512
tests
1m 35s
tests
cargo fmt
27s
cargo fmt
ISA tests for simulator
1m 14s
ISA tests for simulator
full_recursion_fast
2m 1s
full_recursion_fast
risc_v_tests_delegations
57s
risc_v_tests_delegations
circuits_generated
2m 16s
circuits_generated
build_cli_no_verifiers
3m 10s
build_cli_no_verifiers
verification_example
7m 9s
verification_example
oh_bender_incremental_proofs
1m 31s
oh_bender_incremental_proofs
full_recursion
3m 33s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
tests: circuit_defs/opcode_tests/src/lib.rs#L3
the feature `let_chains` has been stable since 1.88.0 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
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
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
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_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
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:3f1dff2e619383cf77250563155d83d35f22700538d488e90c12591b8dbe6649
cli_512
5.23 MB
sha256:5748d0dd56b6f842a723bc9144b207788cef9a5c485f82aef666711f0b975c2f
cli_with_verify
8.61 MB
sha256:63828afcdb52c4dc1c55c221b96b7c59f17bf33af07b6d59b6e170d09a22471f
verifier
557 KB
sha256:ff3c06e075fdc686d6edc66d7d49816755ca1286fb77185b044e57ecaae3811f