Tweak docs #218
ci.yaml
on: pull_request
check-database-up-to-date
17s
check-web-pages-up-to-date
21s
check-docs-up-to-date
21s
cvs-load-with-input4mips-validation
39s