fix: Repropagate old version #47
ci.yml
on: pull_request
build_cli_with_verify
0s
build_verifier
0s
build_cli_no_verifiers_512
7s
tests
2m 16s
cargo fmt
20s
ISA tests for simulator
1m 19s
full_recursion_fast
18s
risc_v_tests_delegations
41s
circuits_generated
20s
build_cli_no_verifiers
21s
basic_example
0s
large_example
0s
delegation_example
0s
verification_example
0s
full_recursion
0s
Annotations
10 errors and 10 warnings
|
build_cli_with_verify
The run was canceled by @0xVolosnikov.
|
|
build_verifier
The run was canceled by @0xVolosnikov.
|
|
build_cli_no_verifiers_512
The run was canceled by @0xVolosnikov.
|
|
build_cli_no_verifiers_512
The operation was canceled.
|
|
full_recursion_fast
The run was canceled by @0xVolosnikov.
|
|
build_cli_no_verifiers
The run was canceled by @0xVolosnikov.
|
|
circuits_generated
The run was canceled by @0xVolosnikov.
|
|
ISA tests for simulator
The run was canceled by @0xVolosnikov.
|
|
tests
The run was canceled by @0xVolosnikov.
|
|
tests
The operation was canceled.
|
|
tests:
prover/src/witness_evaluator/mod.rs#L20
unused import: `risc_v_simulator::abstractions::csr_processor::*`
|
|
tests:
prover/src/witness_evaluator/mod.rs#L22
unused import: `risc_v_simulator::abstractions::tracer::Tracer`
|
|
tests:
prover/src/witness_evaluator/mod.rs#L24
unused import: `risc_v_simulator::mmu::*`
|
|
tests:
prover/src/tracers/main_cycle_optimized.rs#L12
use of deprecated struct `risc_v_simulator::cycle::state::RiscV32State`
|
|
tests:
prover/src/tracers/main_cycle_optimized.rs#L427
use of deprecated struct `risc_v_simulator::cycle::state::RiscV32State`
|
|
tests:
prover/src/tracers/main_cycle_optimized.rs#L461
use of deprecated struct `risc_v_simulator::cycle::state::RiscV32State`
|
|
tests:
prover/src/tracers/main_cycle_optimized.rs#L438
use of deprecated field `risc_v_simulator::cycle::state::RiscV32State::pc`
|
|
tests:
prover/src/tracers/main_cycle_optimized.rs#L225
method `rollback_register_use` is never used
|
|
tests:
execution_utils/src/lib.rs#L242
use of deprecated field `risc_v_simulator::cycle::state::RiscV32State::pc`
|
|
tests:
execution_utils/src/lib.rs#L245
use of deprecated field `risc_v_simulator::cycle::state::RiscV32State::pc`
|