Skip to content
Rust

Compiler reorg #291

Sign in to view logs

Compiler reorg

Compiler reorg #291

Triggered via pull request September 26, 2025 23:50
@tcoratgertcoratger
synchronize #68
compiler-reorg
Status Failure
Total duration 3m 5s
Artifacts –

rust.yml

on: pull_request
Clippy
25s
Clippy
Rustfmt Check
20s
Rustfmt Check
Matrix: build-test-matrix
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 10 warnings
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L856
this `if` statement can be collapsed
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L835
accessing first element with `res.get(0)`
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L552
this `if` statement can be collapsed
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L544
you seem to be trying to use `match` for destructuring a single pattern. Consider using `if let`
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L342
parameter is only used in recursion
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L1219
unused variable: `res`
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L1002
unused variable: `else_branch`
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L645
unused variable: `inside_condition`
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L660
value assigned to `has_unconditional_return` is never read
Clippy: crates/lean_compiler/src/simplify/transformations.rs#L646
variable `has_unconditional_return` is assigned to, but never used
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L1219
unused variable: `res`
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L1002
unused variable: `else_branch`
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L645
unused variable: `inside_condition`
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L660
value assigned to `has_unconditional_return` is never read
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L646
variable `has_unconditional_return` is assigned to, but never used
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L1219
unused variable: `res`
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L1002
unused variable: `else_branch`
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L645
unused variable: `inside_condition`
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L660
value assigned to `has_unconditional_return` is never read
Build & Test (x64-avx2): crates/lean_compiler/src/simplify/transformations.rs#L646
variable `has_unconditional_return` is assigned to, but never used