Skip to content

Issue/83: Memory profiling #420

Issue/83: Memory profiling

Issue/83: Memory profiling #420

Triggered via pull request October 31, 2025 19:52
Status Failure
Total duration 6m 32s
Artifacts

rust.yml

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

Annotations

5 errors and 10 warnings
Rustfmt Check
Process completed with exit code 1.
Clippy
Process completed with exit code 101.
Clippy: crates/lean_vm/src/execution/runner.rs#L406
redundant pattern matching, consider using `is_some()`
Clippy: crates/lean_vm/src/execution/runner.rs#L106
this expression creates a reference which is immediately dereferenced by the compiler
Clippy: crates/lean_vm/src/diagnostics/profiler.rs#L151
calling `push_str()` using a single-character string literal
Rustfmt Check: crates/lean_vm/src/diagnostics/profiler.rs#L151
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_vm/src/diagnostics/profiler.rs
Rustfmt Check: crates/lean_vm/src/diagnostics/profiler.rs#L132
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_vm/src/diagnostics/profiler.rs
Rustfmt Check: crates/lean_vm/src/diagnostics/profiler.rs#L102
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_vm/src/diagnostics/profiler.rs
Rustfmt Check: crates/lean_compiler/src/c_compile_final.rs#L84
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/c_compile_final.rs
Rustfmt Check: crates/lean_compiler/src/c_compile_final.rs#L70
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/c_compile_final.rs
Rustfmt Check: crates/lean_compiler/src/c_compile_final.rs#L59
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/c_compile_final.rs
Rustfmt Check: crates/lean_compiler/src/b_compile_intermediate.rs#L382
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/b_compile_intermediate.rs
Rustfmt Check: crates/lean_compiler/src/b_compile_intermediate.rs#L266
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/b_compile_intermediate.rs
Rustfmt Check: crates/lean_compiler/src/b_compile_intermediate.rs#L233
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/b_compile_intermediate.rs
Rustfmt Check: crates/lean_compiler/src/b_compile_intermediate.rs#L152
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/b_compile_intermediate.rs