Skip to content

Rework source IDs to include all information for citations #342

Rework source IDs to include all information for citations

Rework source IDs to include all information for citations #342

Triggered via pull request February 26, 2025 08:50
Status Success
Total duration 54s
Artifacts

ci.yaml

on: pull_request
check-database-up-to-date
19s
check-database-up-to-date
check-web-pages-up-to-date
20s
check-web-pages-up-to-date
check-docs-up-to-date
22s
check-docs-up-to-date
cvs-load-with-input4mips-validation
42s
cvs-load-with-input4mips-validation
urls
0s
urls
Fit to window
Zoom out
Zoom in