CI: Disable Jenkins ci-man verify and merge 08/11508/1
[ci-management.git] / .github /
drwxr-xr-x   ..
drwxr-xr-x - workflows