Skip to content
Rust

constants: add F as a constant #40

Sign in to view logs

constants: add F as a constant

constants: add F as a constant #40

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

rust.yml

on: push
Build & Test
16s
Build & Test
Clippy
20s
Clippy
Cargo fmt
15s
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#L378
this function's return value is unnecessary
Clippy: crates/leanVm/src/core.rs#L378
this could be a `const fn`
Clippy: crates/leanVm/src/core.rs#L378
unused `self` argument
Clippy: crates/leanVm/src/core.rs#L373
this function's return value is unnecessary
Clippy: crates/leanVm/src/core.rs#L373
this could be a `const fn`
Clippy: crates/leanVm/src/core.rs#L373
unused `self` argument