Closed
Description
Github can only require CI checks to always succeed. If they do not run because a path filter is in effect the merge will be blocked.
https://github.com/dorny/paths-filter#conditional-execution could enable conditionally running actions and still require them.