feat: Add module_doc_lint to CI - #1707

Open

jstoobysmith wants to merge 10 commits into

leanprover-community:masterfrom

jstoobysmith:Documentation-linter

Commits on Oct 1, 2026

feat: Update module_doc_lint
jstoobysmith
committed
fb95881
feat: fix some headers
jstoobysmith
committed
cc226b2
feat: Add module_doc_no_lint to CI
jstoobysmith
committed
36469df
feat: Fix the PhyslibAlpha files
jstoobysmith
committed
deac23a

Commits on Oct 2, 2026

feat: Remove "## 0. One line..." header
jstoobysmith
committed
a7ab5f7
fix: instancse in code
jstoobysmith
committed
fd88fe0
Merge remote-tracking branch 'upstream/master' into Documentation-linter
jstoobysmith
committed
2a57553
feat: Readd moddule_doc_no_lint
jstoobysmith
committed
ad98169
feat: Fix some PhyslibAlpha files
jstoobysmith
committed
ec9faa8
Update module_doc_no_lint.txt
jstoobysmith
committed
cdc9f8f