Issue/83: Memory profiling #419
Triggered via pull request
October 31, 2025 19:50
morganthomas
Status
Cancelled
Total duration
2m 33s
Artifacts
–
rust.yml
on: pull_request
Clippy
25s
Rustfmt Check
16s
Matrix: build-test-matrix
Annotations
8 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
|
|
Rust
Canceling since a higher priority waiting request for rust-ci-refs/pull/85/merge exists
|
|
Build & Test (x64-avx2)
Canceling since a higher priority waiting request for rust-ci-refs/pull/85/merge exists
|
|
Build & Test (x64-avx2)
The operation was canceled.
|
|
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
|