Skip to content
Rust

Block-level scoping and variable manager #479

Sign in to view logs

Block-level scoping and variable manager

Block-level scoping and variable manager #479

Triggered via pull request November 29, 2025 21:43
@morganthomasmorganthomas
synchronize #93
lita-xyz:morgan/88c
Status Failure
Total duration 9m 4s
Artifacts –

rust.yml

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

Annotations

12 errors and 30 warnings
Rustfmt Check
Process completed with exit code 1.
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L509
variable does not need to be mutable
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L431
variable does not need to be mutable
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L184
variable does not need to be mutable
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L163
variable does not need to be mutable
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L122
variable does not need to be mutable
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L616
unreachable statement
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L573
unreachable statement
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L554
unreachable statement
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L531
unreachable statement
Clippy: crates/lean_compiler/src/b_compile_intermediate.rs#L522
unreachable statement
Build & Test (x64-avx2)
Process completed with exit code 101.
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L259
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L251
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L242
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L233
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L227
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L220
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L210
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L192
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L72
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L2
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L509
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L431
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L184
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L163
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L122
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L616
unreachable statement
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L573
unreachable statement
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L554
unreachable statement
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L531
unreachable statement
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L522
unreachable statement
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L509
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L431
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L184
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L163
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L122
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L616
unreachable statement
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L573
unreachable statement
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L554
unreachable statement
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L531
unreachable statement
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L522
unreachable statement