Rust

core: more simplifications #45

Sign in to view logs

Triggered via push July 30, 2025 15:24

tcoratger

main

Status Failure

Total duration 25s

Artifacts –

rust.yml

on: push

Annotations

7 errors

Process completed with exit code 101.

Clippy: crates/leanVm/src/core.rs#L374

this function's return value is unnecessary

Clippy: crates/leanVm/src/core.rs#L374

this could be a `const fn`

Clippy: crates/leanVm/src/core.rs#L374

unused `self` argument

Clippy: crates/leanVm/src/core.rs#L369

this function's return value is unnecessary

Clippy: crates/leanVm/src/core.rs#L369

this could be a `const fn`

Clippy: crates/leanVm/src/core.rs#L369

unused `self` argument