Skip to content

rm main

rm main #119

Triggered via push August 21, 2025 15:58
Status Failure
Total duration 2m 41s
Artifacts

rust.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

11 errors and 10 warnings
Cargo fmt
Process completed with exit code 1.
Clippy: crates/utils/src/misc.rs#L42
manual implementation of `.is_multiple_of()`
Clippy: crates/utils/src/misc.rs#L36
manual implementation of `.is_multiple_of()`
Clippy: crates/utils/src/misc.rs#L30
manual implementation of `.is_multiple_of()`
Clippy: crates/utils/src/misc.rs#L25
this could be a `const fn`
Clippy: crates/utils/src/misc.rs#L25
this function could have a `#[must_use]` attribute
Clippy: crates/utils/src/misc.rs#L18
this could be a `const fn`
Clippy: crates/utils/src/misc.rs#L18
this function could have a `#[must_use]` attribute
Clippy: crates/utils/src/misc.rs#L15
`as` casting between raw pointers without changing their constness
Clippy: crates/utils/src/misc.rs#L11
manual slice size calculation
Clippy: crates/utils/src/misc.rs#L9
manual slice size calculation
Cargo fmt: crates/utils/src/packed_constraints_folder.rs#L7
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/utils/src/packed_constraints_folder.rs
Cargo fmt: crates/utils/src/packed_constraints_folder.rs#L1
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/utils/src/packed_constraints_folder.rs
Cargo fmt: crates/utils/src/multilinear.rs#L1
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/utils/src/multilinear.rs
Cargo fmt: crates/sumcheck/src/prove.rs#L1
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/sumcheck/src/prove.rs
Cargo fmt: crates/pcs/src/combinatorics.rs#L1
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/pcs/src/combinatorics.rs
Cargo fmt: crates/leanVm/src/intermediate_bytecode/instruction.rs#L116
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/leanVm/src/intermediate_bytecode/instruction.rs
Cargo fmt: crates/leanVm/src/bytecode/operand.rs#L40
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/leanVm/src/bytecode/operand.rs
Cargo fmt: crates/leanVm/src/bytecode/operand.rs#L33
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/leanVm/src/bytecode/operand.rs
Cargo fmt: crates/air/src/verify.rs#L1
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/air/src/verify.rs
Cargo fmt: crates/air/src/test.rs#L1
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/air/src/test.rs