Skip to content

Merge pull request #3191 from pljones/patch/minor-refactoring-of-main… #838

Merge pull request #3191 from pljones/patch/minor-refactoring-of-main…

Merge pull request #3191 from pljones/patch/minor-refactoring-of-main… #838

Triggered via push November 2, 2023 17:20
Status Success
Total duration 16s
Artifacts
check-and-update-copyright-notices
5s
check-and-update-copyright-notices
delete-old-pr-branch
0s
delete-old-pr-branch
Fit to window
Zoom out
Zoom in