Skip to content

Issue/83: Memory profiling #430

Issue/83: Memory profiling

Issue/83: Memory profiling #430

Triggered via pull request November 3, 2025 20:07
Status Failure
Total duration 43s
Artifacts

rust.yml

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

Annotations

9 errors and 1 warning
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#L8
unresolved import `crate::PUBLIC_INPUT_START`
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#L8
unresolved import `crate::PUBLIC_INPUT_START`
Clippy
Cache not found for keys: v0-rust-cargo-clippy-Linux-x64-f2381661-4c8ea700, v0-rust-cargo-clippy-Linux-x64-f2381661