on.pull_request.paths only really exists once per workflow file, thus any changes in the files or directories listed will trigger all the jobs of that workflow file regardless of whether it is related or not.
It would be nice to be a little more precise when triggering CI and only trigger the tests that are actually needed.
For example, looking at #6927, it would be nice to only trigger the doc build when something in opam changed, or when something in doc/ changed but not trigger the other unrelated jobs when something in doc/ is changed.
on.pull_request.paths only really exists once per workflow file, thus any changes in the files or directories listed will trigger all the jobs of that workflow file regardless of whether it is related or not.
It would be nice to be a little more precise when triggering CI and only trigger the tests that are actually needed.
For example, looking at #6927, it would be nice to only trigger the doc build when something in opam changed, or when something in
doc/changed but not trigger the other unrelated jobs when something indoc/is changed.