Lean CI

Add windowed quotient observation layer #60

Sign in to view logs

Triggered via push June 3, 2026 15:37

codex/finite-quotient-search

Status Success

Total duration 2m 54s

Artifacts –

lean_action_ci.yml

on: push