Skip to content

Merge pull request #87 from aufi/convert-xml-publicid-systemid #41

Merge pull request #87 from aufi/convert-xml-publicid-systemid

Merge pull request #87 from aufi/convert-xml-publicid-systemid #41

Triggered via push December 15, 2023 15:01
Status Success
Total duration 8m 58s
Artifacts
Build and Push Manifest
8m 47s
Build and Push Manifest
Fit to window
Zoom out
Zoom in