Skip to content

test: added/fixed risc v opcode tests #778

test: added/fixed risc v opcode tests

test: added/fixed risc v opcode tests #778

Triggered via pull request December 12, 2025 17:37
Status Success
Total duration 12m 31s
Artifacts 4

ci.yml

on: pull_request
build_cli_with_verify
1m 0s
build_cli_with_verify
build_verifier
3m 7s
build_verifier
build_cli_no_verifiers_512
2m 10s
build_cli_no_verifiers_512
tests
1m 6s
tests
cargo fmt
25s
cargo fmt
ISA tests for simulator
44s
ISA tests for simulator
full_recursion_fast
1m 47s
full_recursion_fast
risc_v_tests_delegations
43s
risc_v_tests_delegations
circuits_generated
1m 54s
circuits_generated
build_cli_no_verifiers
2m 49s
build_cli_no_verifiers
verification_example
7m 28s
verification_example
oh_bender_incremental_proofs
1m 33s
oh_bender_incremental_proofs
full_recursion
3m 36s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

13 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: 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
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:d26c72e5c5c5ebd7715dc67af101a5bfa8e3798fcae3fe0c13ec4b3e3f001651
cli_512
5.23 MB
sha256:423b94557f782fd8715c5d211e0de11058f5c5a88491922003f87fd45d07628e
cli_with_verify
8.59 MB
sha256:7b506e8fa51db936bb6480f6ed93302c9d37df65a22b18d6f0fb796004b001ed
verifier
558 KB
sha256:941c7bd19471b95c869636eb9b4768bf66138a7a64ebef64ef2fee20450569bc