Rework source IDs to include all information for citations #343
ci.yaml
on: pull_request
check-database-up-to-date
19s
check-web-pages-up-to-date
24s
check-docs-up-to-date
19s
cvs-load-with-input4mips-validation
36s
urls
10s