Ceph » devops

Currently, any pull request into the ceph git repo triggers a Jenkins job "Docs: build check", to verify the consistency of the documentation. This job gets run irregardless of the question if that PR actually contains changes to the documentation.

To save resources and to speed up the turnaround times for pull requests, I'd like to suggest that this job only gets triggered on pull requests that actually contain modifications to the documentation. In that case, I'd like to suggest that the Jenkins job "Docs: render build" is also run by default, so it's possible to perform a visual inspection of the rendered docs as part of the PR review, without having to trigger that job manually.

Or maybe it would be possible to combine these jobs into one, that only gets triggered when docs changes are included?