Skip to content

Renamed p.petr.2ed8.xml to p.petr.2ed.8.xml #17190

Renamed p.petr.2ed8.xml to p.petr.2ed.8.xml

Renamed p.petr.2ed8.xml to p.petr.2ed.8.xml #17190

Triggered via push February 7, 2026 13:16
Status Success
Total duration 2m 55s
Artifacts
Validate_collection_RDF
1m 5s
Validate_collection_RDF
Validate_DDB_EpiDoc_XML
2m 52s
Validate_DDB_EpiDoc_XML
Validate_HGV_meta_EpiDoc
2m 12s
Validate_HGV_meta_EpiDoc
Validate_DCLP
1m 18s
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