Skip to content

Block-level scoping and variable manager #491

Block-level scoping and variable manager

Block-level scoping and variable manager #491

Triggered via pull request November 30, 2025 22:35
Status Failure
Total duration 6m 18s
Artifacts

rust.yml

on: pull_request
Matrix: build-test-matrix
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 24 warnings
Rustfmt Check
Process completed with exit code 1.
Clippy
Process completed with exit code 101.
Clippy: crates/lean_vm/src/execution/tests.rs#L28
expected unit struct, unit variant or constant, found struct variant `RunnerError::MemoryAlreadySet`
Build & Test (x64-avx2)
Process completed with exit code 101.
Build & Test (x64-avx2): crates/lean_vm/src/execution/tests.rs#L28
expected unit struct, unit variant or constant, found struct variant `RunnerError::MemoryAlreadySet`
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#L578
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L516
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L436
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L182
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L165
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L125
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L578
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L516
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L436
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L182
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L165
variable does not need to be mutable
Build & Test (x64-avx2): crates/lean_compiler/src/b_compile_intermediate.rs#L125
variable does not need to be mutable