Skip to content

Merge pull request #380 from veraPDF/gui_improvements #9

Merge pull request #380 from veraPDF/gui_improvements

Merge pull request #380 from veraPDF/gui_improvements #9

Triggered via push September 27, 2023 12:02
Status Success
Total duration 6m 41s
Artifacts
Matrix: checkout-and-build
send-notification
0s
send-notification
Fit to window
Zoom out
Zoom in