Lean CI

[codex] Audit paper against Lean quotient stack #81

Sign in to view logs

Triggered via pull request June 4, 2026 15:38

opened #16

codex/paper-lean-stack-audit

Status Success

Total duration 3m 13s

Artifacts –

lean_action_ci.yml

on: pull_request