Add `defunct-readme` check to CI - #3080

Open

silas-hw wants to merge 10 commits into

agda:masterfrom

silas-hw:defunct-readme-ci

Commits on Jul 16, 2026

Add defunct readme check to CI
silas-hw
committed
8ccbe86
Make defunct-readme.sh executable
silas-hw
committed
52142c3
Delete arbritary README file
silas-hw
committed
b0ac5af
Revert "Delete arbritary README file"
silas-hw
committed
5b29f47
Move defunct readme check to before HTML generation
silas-hw
committed
3662fff
Delete arbritary README file
silas-hw
committed
fea4690
Add to diff target brach
silas-hw
committed
fab8546
Add fetch before defunct-readme check
silas-hw
committed
92115d4
Fix typo
silas-hw
committed
2be1c18
Revert "Delete arbritary README file"
silas-hw
committed
539c48c