Skip to content

Merge pull request #3260 from AdamGLIN/customDirectoriesButton #182

Merge pull request #3260 from AdamGLIN/customDirectoriesButton

Merge pull request #3260 from AdamGLIN/customDirectoriesButton #182

Triggered via push June 14, 2024 15:31
Status Success
Total duration 18s
Artifacts
Verify C-like coding style
10s
Verify C-like coding style
Verify shell script (Bash) coding style
10s
Verify shell script (Bash) coding style
Verify Python coding style
8s
Verify Python coding style
Fit to window
Zoom out
Zoom in