Skip to content

Rework source IDs to include all information for citations #343

Rework source IDs to include all information for citations

Rework source IDs to include all information for citations #343

Triggered via pull request February 26, 2025 16:27
Status Success
Total duration 51s
Artifacts

ci.yaml

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