Skip to content

Block-level scoping and variable manager #476

Block-level scoping and variable manager

Block-level scoping and variable manager #476

Triggered via pull request November 27, 2025 00:24
Status Failure
Total duration 8m 46s
Artifacts

rust.yml

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

Annotations

10 errors and 12 warnings
Rustfmt Check
Process completed with exit code 1.
Clippy
Process completed with exit code 101.
Clippy: crates/lean_compiler/src/a_simplify_lang.rs#L328
this expression creates a reference which is immediately dereferenced by the compiler
Clippy: crates/lean_compiler/src/a_simplify_lang.rs#L319
deref on an immutable reference
Clippy: crates/lean_compiler/src/a_simplify_lang.rs#L316
deref on an immutable reference
Clippy: crates/lean_compiler/src/a_simplify_lang.rs#L315
deref on an immutable reference
Clippy: crates/lean_compiler/src/a_simplify_lang.rs#L312
deref on an immutable reference
Clippy: crates/lean_compiler/src/a_simplify_lang.rs#L207
writing `&Vec` instead of `&[_]` involves a new object where a slice will do
Build & Test (x64-avx2)
Process completed with exit code 101.
Rustfmt Check: crates/lean_compiler/src/a_simplify_lang.rs#L267
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#L258
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#L250
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#L241
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#L232
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#L226
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#L219
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#L209
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#L191
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