Skip to content

Merge pull request #143 from veraPDF/profiles_merger #12

Merge pull request #143 from veraPDF/profiles_merger

Merge pull request #143 from veraPDF/profiles_merger #12

Triggered via push November 23, 2023 13:58
Status Success
Total duration 9m 20s
Artifacts
Matrix: checkout-and-build
send-notification
0s
send-notification
Fit to window
Zoom out
Zoom in