Skip to content

Rework source IDs to include all information for citations #337

Rework source IDs to include all information for citations

Rework source IDs to include all information for citations #337

Triggered via pull request February 25, 2025 18:49
Status Success
Total duration 41s
Artifacts

ci.yaml

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