Skip to content
Rust

memory: add get_as and get_array_as #39

Sign in to view logs

memory: add get_as and get_array_as

memory: add get_as and get_array_as #39

Triggered via push July 30, 2025 14:30
@tcoratgertcoratger
pushed c9744ba
main
Status Failure
Total duration 43s
Artifacts –

rust.yml

on: push
Build & Test
28s
Build & Test
Clippy
37s
Clippy
Cargo fmt
17s
Cargo fmt
Fit to window
Zoom out
Zoom in

Annotations

7 errors
Clippy
Process completed with exit code 101.
Clippy: crates/leanVm/src/core.rs#L402
this function's return value is unnecessary
Clippy: crates/leanVm/src/core.rs#L402
this could be a `const fn`
Clippy: crates/leanVm/src/core.rs#L402
unused `self` argument
Clippy: crates/leanVm/src/core.rs#L394
this function's return value is unnecessary
Clippy: crates/leanVm/src/core.rs#L394
this could be a `const fn`
Clippy: crates/leanVm/src/core.rs#L394
unused `self` argument