Common circuit for R-Instructions #36
naureintegration.yml
on: pull_request
skip_check
4s
Matrix: Various lints
Annotations
2 errors and 10 warnings
|
Various lints (x86_64-unknown-linux-gnu)
The run was canceled by @github-actions[bot].
|
|
Various lints (x86_64-unknown-linux-gnu)
The operation was canceled.
|
|
Various lints (x86_64-unknown-linux-gnu)
profiles for the non root package will be ignored, specify profiles at the workspace root:
|
|
Various lints (x86_64-unknown-linux-gnu)
profiles for the non root package will be ignored, specify profiles at the workspace root:
|
|
Various lints (x86_64-unknown-linux-gnu)
virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`
|
|
Various lints (x86_64-unknown-linux-gnu):
ceno_zkvm/src/instructions/riscv/r_insn.rs#L1
unused import: `std::marker::PhantomData`
|
|
Various lints (x86_64-unknown-linux-gnu):
ceno_zkvm/src/instructions/riscv/r_insn.rs#L5
unused import: `itertools::Itertools`
|
|
Various lints (x86_64-unknown-linux-gnu):
ceno_zkvm/src/instructions/riscv/r_insn.rs#L10
unused imports: `FUNCT3_ADD_SUB`, `FUNCT7_ADD`, `FUNCT7_SUB`, `OPCODE_OP`, `OPType`, `OpcodeType`, and `RIVInstruction`
|
|
Various lints (x86_64-unknown-linux-gnu):
ceno_zkvm/src/instructions/riscv/r_insn.rs#L20
unused import: `Instruction`
|
|
Various lints (x86_64-unknown-linux-gnu):
ceno_zkvm/src/instructions/riscv/addsub.rs#L15
unused imports: `riscv::config::ExprLtInput` and `set_val`
|
|
Various lints (x86_64-unknown-linux-gnu)
`ceno_zkvm` (lib) generated 5 warnings (run `cargo fix --lib -p ceno_zkvm` to apply 5 suggestions)
|
|
Various lints (x86_64-unknown-linux-gnu):
ceno_zkvm/examples/riscv_add.rs#L68
unexpected `cfg` condition value: `non_pow2_rayon_thread`
|