Skip to content
Rust

MIN_LOG_MEMORY_SIZE #209

Sign in to view logs

MIN_LOG_MEMORY_SIZE

MIN_LOG_MEMORY_SIZE #209

Triggered via push September 20, 2025 10:47
@TomWambsgansTomWambsgans
pushed cb0cc65
main
Status Cancelled
Total duration 2h 7m 56s
Artifacts –

rust.yml

on: push
Clippy
26s
Clippy
Rustfmt Check
24s
Rustfmt Check
Matrix: build-test-matrix
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Clippy
Process completed with exit code 101.
Clippy: crates/lean_prover/src/verify_execution.rs#L80
manual `!RangeInclusive::contains` implementation
Build & Test (arm64-neon)
Canceling since a higher priority waiting request for rust-ci-refs/heads/main exists
Rust
Canceling since a higher priority waiting request for rust-ci-refs/heads/main exists