Skip to content

Merge pull request #3260 from AdamGLIN/customDirectoriesButton #136

Merge pull request #3260 from AdamGLIN/customDirectoriesButton

Merge pull request #3260 from AdamGLIN/customDirectoriesButton #136

Triggered via push June 14, 2024 17:23
Status Success
Total duration 22s
Artifacts
Verify C-like coding style
9s
Verify C-like coding style
Verify shell script (Bash) coding style
13s
Verify shell script (Bash) coding style
Verify Python coding style
10s
Verify Python coding style
Fit to window
Zoom out
Zoom in