Skip to content

fix: aggregate proved/disproved/solved README counts are not exact-status links#349

Open
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/aggregate-status-readme-links
Open

fix: aggregate proved/disproved/solved README counts are not exact-status links#349
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/aggregate-status-readme-links

Commits

Commits on Jul 24, 2026