ci: check Lean snippets in released READMEs - #9470

Open

kim-em wants to merge 26 commits into

mainfrom

Commits on Aug 23, 2026

ci: check Lean snippets in released READMEs
Kim Morrison
committed
751ad08
Merge remote-tracking branch 'origin/main' into verso-readme
Kim Morrison
committed
e9a109e
fix: check quoted README theorem signatures
Kim Morrison
committed
4a4e95c
fix: hide setup in recalled theorem blocks
Kim Morrison
committed
78ffdf6
fix: preserve executable README examples
Kim Morrison
committed
be5a783
ci: exempt README tooling from benchmark freshness
Kim Morrison
committed
63acff3
Merge remote-tracking branch 'origin/main' into verso-readme
Kim Morrison
committed
5e15bc2

Commits on Aug 24, 2026

ci: target recalled README theorems explicitly
Kim Morrison
committed
ca37040
ci: refresh README tooling exemptions
Kim Morrison
committed
525c5f1
Merge remote-tracking branch 'origin/main' into verso-readme
Kim Morrison
committed
1458b1b
ci: rebase README exemptions on current measurements
Kim Morrison
committed
438b3b5
docs: recall sparse polynomial theorems explicitly
Kim Morrison
committed
d7cdfe1
Merge remote-tracking branch 'origin/main' into verso-readme
Kim Morrison
committed
2c9e055
ci: refresh README exemption after main merge
Kim Morrison
committed
f94e5e9
ci: expose Lean import to aggregate README prefix
Kim Morrison
committed
9f730b7
Merge remote-tracking branch 'origin/main' into verso-readme
Kim Morrison
committed
b3831da
ci: keep aggregate README setup private
Kim Morrison
committed
7762b8c
ci: build the top-level Hex helper
Kim Morrison
committed
6a2fc94
Merge remote-tracking branch 'origin/main' into verso-readme
Kim Morrison
committed
6064ebc
ci: refresh README exemption after main merge
Kim Morrison
committed
7b7bc06
Merge remote-tracking branch 'origin/main' into verso-readme
Kim Morrison
committed
a4fc2e2

Commits on Aug 26, 2026

Merge remote-tracking branch 'origin/main' into HEAD
kim-em
committed
b3f826f
Re-anchor proof-only exemptions after merging main
kim-em
committed
cb5b9b4

Commits on Aug 27, 2026

Merge remote-tracking branch 'origin/main' into pr9470
kim-em
committed
2d278a1

Commits on Aug 31, 2026

Merge main into verso-readme

Kim Morrison
and
claude
committed
b525d87
ci: re-anchor the lakefile proof-only exemption after merging main

Kim Morrison
and
claude
committed
33ee060