Skip to content

Rework source IDs to include all information for citations #338

Rework source IDs to include all information for citations

Rework source IDs to include all information for citations #338

Triggered via pull request February 25, 2025 18:58
Status Failure
Total duration 44s
Artifacts

ci.yaml

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

Annotations

1 error
check-database-up-to-date
Process completed with exit code 1.