Skip to content

Merge pull request #3117 from pljones/patch/omit-gui-acknowledgements… #120

Merge pull request #3117 from pljones/patch/omit-gui-acknowledgements…

Merge pull request #3117 from pljones/patch/omit-gui-acknowledgements… #120

Triggered via push September 19, 2023 14:46
Status Success
Total duration 28s
Artifacts
Verify C-like coding style
11s
Verify C-like coding style
Verify shell script (Bash) coding style
18s
Verify shell script (Bash) coding style
Verify Python coding style
14s
Verify Python coding style
Fit to window
Zoom out
Zoom in