Skip to content

[codex] Pin Lean managed workspace baseline#7

Merged
ConanXu-math merged 1 commit into
mainfrom
codex/import-lean-baseline-20260627
Jun 27, 2026
Merged

[codex] Pin Lean managed workspace baseline#7
ConanXu-math merged 1 commit into
mainfrom
codex/import-lean-baseline-20260627

Pin managed Lean workspace baseline

dff5b0b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
verify
succeeded Jun 27, 2026 in 6s