Block-level scoping and variable manager #503
Triggered via pull request
December 10, 2025 18:58
morganthomas
Status
Cancelled
Total duration
7m 39s
Artifacts
–
rust.yml
on: pull_request
Clippy
38s
Rustfmt Check
16s
Matrix: build-test-matrix
Annotations
8 errors and 7 warnings
|
Rustfmt Check
Process completed with exit code 1.
|
|
Clippy
Process completed with exit code 101.
|
|
Clippy:
crates/lean_compiler/src/lib.rs#L21
`to_string` applied to a type that implements `Display` in `println!` args
|
|
Clippy:
crates/lean_compiler/src/lib.rs#L17
`to_string` applied to a type that implements `Display` in `println!` args
|
|
Clippy:
crates/lean_compiler/src/b_compile_intermediate.rs#L557
variable does not need to be mutable
|
|
Build & Test (x64-avx2)
Canceling since a higher priority waiting request for rust-ci-refs/pull/102/merge exists
|
|
Build & Test (x64-avx2)
The operation was canceled.
|
|
Rust
Canceling since a higher priority waiting request for rust-ci-refs/pull/102/merge exists
|
|
Rustfmt Check:
crates/lean_compiler/src/lib.rs#L24
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/lib.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/b_compile_intermediate.rs#L552
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/b_compile_intermediate.rs
|
|
Rustfmt Check:
crates/lean_compiler/src/a_simplify_lang.rs#L337
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#L330
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#L319
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#L557
variable does not need to be mutable
|
|
Build & Test (x64-avx2):
crates/lean_compiler/src/b_compile_intermediate.rs#L557
variable does not need to be mutable
|