Skip to content

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

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

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

Re-run triggered December 16, 2023 04:57
Status Success
Total duration 8m 31s
Artifacts
Build and Push Manifest
8m 21s
Build and Push Manifest
Fit to window
Zoom out
Zoom in