Skip to content

test: added/fixed risc v opcode tests #767

test: added/fixed risc v opcode tests

test: added/fixed risc v opcode tests #767

Triggered via pull request December 10, 2025 17:09
Status Failure
Total duration 12m 33s
Artifacts 4

ci.yml

on: pull_request
build_cli_with_verify
1m 32s
build_cli_with_verify
build_cli_no_verifiers_512
2m 44s
build_cli_no_verifiers_512
tests
1m 49s
tests
cargo fmt
30s
cargo fmt
ISA tests for simulator
1m 2s
ISA tests for simulator
full_recursion_fast
1m 59s
full_recursion_fast
risc_v_tests_delegations
54s
risc_v_tests_delegations
circuits_generated
2m 28s
circuits_generated
build_cli_no_verifiers
3m 15s
build_cli_no_verifiers
verification_example
7m 52s
verification_example
oh_bender_incremental_proofs
1m 34s
oh_bender_incremental_proofs
full_recursion
3m 38s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

1 error and 13 warnings
circuits_generated
Process completed with exit code 1.
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_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
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:cbd666ef010ca85a278ddc3253b4b5121a20280f1af49da4c02940c59185282c
cli_512
5.24 MB
sha256:01e9bd310edbd3a95f621556ba0566c3b1fe567a02c9749ccda4a0a6597f3a73
cli_with_verify
8.59 MB
sha256:2e3553c60f7e6b556757d971bd4c31dd1f85f9b18c7e2b1f776e8a2a10dfb262
verifier
558 KB
sha256:43dc504ee71d59408830a05d6fd082362f66ce25ed5f0bb90fbda581a579d24b