Update object code pretty printing with labels #258
Triggered via pull request
September 24, 2025 13:38
morganthomas
Status
Failure
Total duration
3m 19s
Artifacts
–
rust.yml
on: pull_request
Clippy
38s
Rustfmt Check
18s
Matrix: build-test-matrix
Annotations
5 errors and 11 warnings
|
Rustfmt Check
Process completed with exit code 1.
|
|
Clippy
Process completed with exit code 101.
|
|
Clippy:
crates/lean_compiler/src/c_compile_final.rs#L178
comparison is useless due to type limits
|
|
Clippy:
crates/lean_compiler/src/c_compile_final.rs#L178
this comparison involving the minimum or maximum element for this type contains a case that is always true or always false
|
|
Clippy:
crates/lean_compiler/src/c_compile_final.rs#L167
called `map(..).flatten()` on `Option`
|
|
Rustfmt Check:
crates/lean_vm/src/isa/hint.rs#L226
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_vm/src/isa/hint.rs
|
|
Rustfmt Check:
crates/lean_vm/src/isa/hint.rs#L174
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_vm/src/isa/hint.rs
|
|
Rustfmt Check:
crates/lean_vm/src/isa/hint.rs#L54
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_vm/src/isa/hint.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/c_compile_final.rs#L266
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/c_compile_final.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/c_compile_final.rs#L152
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/c_compile_final.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/c_compile_final.rs#L92
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/c_compile_final.rs
|
|
Rustfmt Check
Cache not found for keys: v0-rust-cargo-fmt-Linux-x64-7211357e-7b532744, v0-rust-cargo-fmt-Linux-x64-7211357e
|
|
Clippy
Cache not found for keys: v0-rust-cargo-clippy-Linux-x64-7211357e-7b532744, v0-rust-cargo-clippy-Linux-x64-7211357e
|
|
Build & Test (x64-avx2):
crates/lean_compiler/src/c_compile_final.rs#L178
comparison is useless due to type limits
|
|
Build & Test (x64-avx2):
crates/lean_compiler/src/c_compile_final.rs#L178
comparison is useless due to type limits
|
|
Build & Test (x64-avx2)
Cache not found for keys: v0-rust-build-test-matrix-Linux-x64-7211357e-7b532744, v0-rust-build-test-matrix-Linux-x64-7211357e
|