Skip to content

Merge branch 'master' of github.com:papyri/idp.data #16834

Merge branch 'master' of github.com:papyri/idp.data

Merge branch 'master' of github.com:papyri/idp.data #16834

Triggered via push January 22, 2026 22:59
Status Success
Total duration 2m 47s
Artifacts
Validate_collection_RDF
1m 6s
Validate_collection_RDF
Validate_DDB_EpiDoc_XML
2m 38s
Validate_DDB_EpiDoc_XML
Validate_HGV_meta_EpiDoc
2m 12s
Validate_HGV_meta_EpiDoc
Validate_DCLP
1m 27s
Validate_DCLP
Validate_HGV_trans_EpiDoc
1m 13s
Validate_HGV_trans_EpiDoc
Validate_APIS
2m 44s
Validate_APIS
Fit to window
Zoom out
Zoom in