Lean CI

Clarify ranking caveat wording #82

Sign in to view logs

Triggered via push June 4, 2026 15:52

codex/paper-lean-stack-audit

Status Success

Total duration 4m 43s

Artifacts –

lean_action_ci.yml

on: push