Skip to content
Rust

memory: add memory manager #14

Sign in to view logs

memory: add memory manager

memory: add memory manager #14

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

rust.yml

on: pull_request
Build & Test
17s
Build & Test
Clippy
20s
Clippy
Cargo fmt
27s
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#L108
all if blocks contain the same code at the start
Clippy: crates/leanVm/src/memory/address.rs#L100
variables can be used directly in the `format!` string