Skip to content
Rust

memory: add memory manager #15

Sign in to view logs

memory: add memory manager

memory: add memory manager #15

Triggered via pull request July 25, 2025 22:27
@tcoratgertcoratger
synchronize #4
mem_manager
Status Failure
Total duration 26s
Artifacts –

rust.yml

on: pull_request
Build & Test
21s
Build & Test
Clippy
17s
Clippy
Cargo fmt
16s
Cargo fmt
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Clippy
Process completed with exit code 101.
Clippy: crates/leanVm/src/memory/manager.rs#L230
`usize::MAX` is never smaller than `4` and has therefore no effect
Clippy: crates/leanVm/src/memory/manager.rs#L204
variables can be used directly in the `format!` string
Clippy: crates/leanVm/src/memory/address.rs#L113
all if blocks contain the same code at the start
Clippy: crates/leanVm/src/memory/address.rs#L105
variables can be used directly in the `format!` string