Merge pull request #5144 from VladimirSlavik/master-no-infracheck-on-…

…merged

infra: Don't run infra check on merged PRs

.github/workflows/infra-check.yml

@@ -17,7 +17,7 @@ permissions:
 
 jobs:
  commit-message-check:
- if: contains(github.event.pull_request.labels.*.name, 'infrastructure')
+ if: contains(github.event.pull_request.labels.*.name, 'infrastructure') && github.event.pull_request.merged != 'true'
  runs-on: ubuntu-20.04
  name: Infra tags in commit messages