Compiler reorg #290
Triggered via pull request
September 26, 2025 23:49
tcoratger
Status
Cancelled
Total duration
1m 7s
Artifacts
–
rust.yml
on: pull_request
Clippy
24s
Rustfmt Check
23s
Matrix: build-test-matrix
Annotations
14 errors and 11 warnings
|
Rustfmt Check
Process completed with exit code 1.
|
|
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)
The operation was canceled.
|
|
Build & Test (x64-avx2)
Canceling since a higher priority waiting request for rust-ci-refs/pull/68/merge exists
|
|
Rust
Canceling since a higher priority waiting request for rust-ci-refs/pull/68/merge exists
|
|
Rustfmt Check:
crates/lean_compiler/src/parser/parsers/statement.rs#L135
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/parser/parsers/statement.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/lang/ast/expr.rs#L69
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/lang/ast/expr.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/lang/ast/expr.rs#L62
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/lang/ast/expr.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/ir/value.rs#L68
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/ir/value.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/ir/value.rs#L57
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/ir/value.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/ir/value.rs#L38
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/ir/value.rs
|
|
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
|