Skip to content

Issue/83: Memory profiling #429

Issue/83: Memory profiling

Issue/83: Memory profiling #429

Triggered via pull request November 3, 2025 18:15
Status Failure
Total duration 39s
Artifacts

rust.yml

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

Annotations

10 errors and 11 warnings
Build & Test (x64-avx2)
Process completed with exit code 101.
Build & Test (x64-avx2): crates/lean_vm/src/execution/runner.rs#L175
cannot find value `PUBLIC_INPUT_START` in this scope
Build & Test (x64-avx2): crates/lean_vm/src/execution/runner.rs#L175
cannot find value `PUBLIC_INPUT_START` in this scope
Build & Test (x64-avx2): crates/lean_vm/src/diagnostics/profiler.rs#L6
unresolved import `crate::PUBLIC_INPUT_START`
Rustfmt Check
Process completed with exit code 1.
Clippy
Process completed with exit code 101.
Clippy: crates/lean_vm/src/core/constants.rs#L25
empty line after doc comment
Clippy: crates/lean_vm/src/execution/runner.rs#L175
cannot find value `PUBLIC_INPUT_START` in this scope
Clippy: crates/lean_vm/src/execution/runner.rs#L175
cannot find value `PUBLIC_INPUT_START` in this scope
Clippy: crates/lean_vm/src/diagnostics/profiler.rs#L6
unresolved import `crate::PUBLIC_INPUT_START`
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_vm/src/diagnostics/profiler.rs#L3
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
Clippy
Cache not found for keys: v0-rust-cargo-clippy-Linux-x64-f2381661-4c8ea700, v0-rust-cargo-clippy-Linux-x64-f2381661