If only changes in the documentation were made (compared to `devel`), then there is no need to run the entire testing pipeline. Only running the docs test should be enough.