Skip to content

fix: malformed doc closers in Section_9_4.lean#591

Merged
teorth merged 3 commits into
teorth:mainfrom
Chessing234:fix/section-9-4-malformed-docs
Jul 17, 2026
Merged

fix: malformed doc closers in Section_9_4.lean#591
teorth merged 3 commits into
teorth:mainfrom
Chessing234:fix/section-9-4-malformed-docs

ci: retry after runner disk error

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

Annotations

1 warning
build
succeeded Jul 15, 2026 in 9m 43s