CI: Disable ci-man Jenkins verify and merge jobs 19/135919/1
[ci-management.git] / jjb / doc /
drwxr-xr-x   ..
-rw-r--r-- 96 doc.yaml