Skip to content

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

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

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

Triggered via push February 5, 2026 17:33
Status Success
Total duration 3m 32s
Artifacts
Validate_collection_RDF
1m 8s
Validate_collection_RDF
Validate_DDB_EpiDoc_XML
3m 28s
Validate_DDB_EpiDoc_XML
Validate_HGV_meta_EpiDoc
2m 19s
Validate_HGV_meta_EpiDoc
Validate_DCLP
1m 28s
Validate_DCLP
Validate_HGV_trans_EpiDoc
1m 17s
Validate_HGV_trans_EpiDoc
Validate_APIS
1m 43s
Validate_APIS
Fit to window
Zoom out
Zoom in