Update object code pretty printing with labels #259
Triggered via pull request
September 24, 2025 13:46
morganthomas
Status
Failure
Total duration
2m 55s
Artifacts
–
rust.yml
on: pull_request
Clippy
38s
Rustfmt Check
30s
Matrix: build-test-matrix
Annotations
4 errors and 4 warnings
|
Clippy
Process completed with exit code 101.
|
|
Clippy:
crates/lean_compiler/src/c_compile_final.rs#L174
comparison is useless due to type limits
|
|
Clippy:
crates/lean_compiler/src/c_compile_final.rs#L174
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#L164
called `map(..).flatten()` on `Option`
|
|
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#L174
comparison is useless due to type limits
|
|
Build & Test (x64-avx2):
crates/lean_compiler/src/c_compile_final.rs#L174
comparison is useless due to type limits
|