Skip to content

test: added/fixed risc v opcode tests (#159) #781

test: added/fixed risc v opcode tests (#159)

test: added/fixed risc v opcode tests (#159) #781

Triggered via push December 15, 2025 13:43
Status Success
Total duration 17m 20s
Artifacts 4

ci.yml

on: push
build_cli_with_verify
1m 39s
build_cli_with_verify
build_cli_no_verifiers_512
2m 29s
build_cli_no_verifiers_512
tests
2m 26s
tests
cargo fmt
24s
cargo fmt
ISA tests for simulator
1m 16s
ISA tests for simulator
full_recursion_fast
2m 10s
full_recursion_fast
risc_v_tests_delegations
1m 13s
risc_v_tests_delegations
circuits_generated
2m 38s
circuits_generated
build_cli_no_verifiers
3m 40s
build_cli_no_verifiers
verification_example
7m 18s
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

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
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
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
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:35e68d1a57614aaff09ae2ebec087225758812652f382cee8d411e8ce38d23e8
cli_512
5.23 MB
sha256:3a82c1b903c09722ee853828722e9684eedeba4aa918b6a7a39346f2f3c38309
cli_with_verify
8.6 MB
sha256:e6795cd213d4a2a8c2487394d2fc128b127f71321a8564b212a6e25c63e67d2b
verifier
558 KB
sha256:ff7ab747c6d349880418719e6a20a62c78817e0e514a71f6b8c33bdc7571b7e9