Merge pull request #112 from georgetarazevich/new-gui-update-top-label #349

Triggered via push September 28, 2023 13:52

integration

Status Success

Total duration 2m 1s

Artifacts 1

veraPDF_gui.yml

on: push

Matrix: veraPDF-GUI-check

Produced during runtime

Name	Size
Results Expired	507 KB