Hello developers, I recently opened a PR about a very small documentation change ( https://github.com/apache/incubator-mxnet/pull/13766) and I see it triggered the whole CI pipeline which is as far as I know very expensive and obviously unnecessary.
Are there any efforts to script this behavior in a way to avoid triggering CI when there is no code change in the PR? I am happy to help if there is interest. Best, Istvan
