Skip to content

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

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

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

Triggered via push September 18, 2023 17:29
Status Success
Total duration 26s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Verify C-like coding style
13s
Verify C-like coding style
Verify shell script (Bash) coding style
12s
Verify shell script (Bash) coding style
Verify Python coding style
15s
Verify Python coding style
Fit to window
Zoom out
Zoom in