Tweak docs #217
ci.yaml
on: pull_request
check-database-up-to-date
20s
check-web-pages-up-to-date
20s
check-docs-up-to-date
23s
cvs-load-with-input4mips-validation
41s