Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GH Actions/merge conflicts: also check PRs for the 4.0 branch
Based on the logging, the PRs for the 4.0 branch are not checked on pushes. Let's enable that.
- Loading branch information