change mock prover cs, instance to arc type #361
DreamWuGitAnnotations
2 errors and 9 warnings
|
the name `BatchInvert` is defined multiple times:
halo2_proofs/src/dev.rs#L29
error[E0252]: the name `BatchInvert` is defined multiple times
--> halo2_proofs/src/dev.rs:29:5
|
13 | use ff::BatchInvert;
| --------------- previous import of the trait `BatchInvert` here
...
29 | use ff::BatchInvert;
| ^^^^^^^^^^^^^^^ `BatchInvert` reimported here
|
= note: `BatchInvert` must be defined only once in the type namespace of this module
|
|
Clippy (beta)
Clippy had exited with the 101 exit code
|
|
unreachable statement:
halo2_proofs/src/dev.rs#L858
warning: unreachable statement
--> halo2_proofs/src/dev.rs:858:9
|
855 | panic!("confiugred mock-batch-inv !!!");
| --------------------------------------- any code following this expression is unreachable
...
858 | let val_res = to().into_field().assign();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement
|
= note: `#[warn(unreachable_code)]` on by default
|
|
unused import: `ff::BatchInvert`:
halo2_proofs/src/dev.rs#L29
warning: unused import: `ff::BatchInvert`
--> halo2_proofs/src/dev.rs:29:5
|
29 | use ff::BatchInvert;
| ^^^^^^^^^^^^^^^
|
|
unused imports: `Duration`, `Instant`:
halo2_proofs/src/dev.rs#L9
warning: unused imports: `Duration`, `Instant`
--> halo2_proofs/src/dev.rs:9:17
|
9 | use std::time::{Duration, Instant};
| ^^^^^^^^ ^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
|
|
Clippy (beta)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Clippy (beta)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Clippy (beta)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Clippy (beta)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Clippy (beta)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Clippy (beta)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|