chore: move client side changes check to the push event

#8377 follow-ups
This commit is contained in:
Max Schmitt 2021-08-27 12:22:49 +02:00
parent e98aef2128
commit 16a7de5dab

View File

@ -1,7 +1,6 @@
name: "Check client side changes" name: "Check client side changes"
on: on:
pull_request: push:
types: [ closed ]
branches: branches:
- master - master
paths: paths:
@ -10,19 +9,19 @@ jobs:
check: check:
name: Check name: Check
runs-on: ubuntu-20.04 runs-on: ubuntu-20.04
if: github.event.pull_request.merged == true if: github.repository == 'microsoft/playwright'
steps: steps:
- name: Create GitHub issue - name: Create GitHub issue
uses: actions/github-script@v4 uses: actions/github-script@v4
with: with:
script: | script: |
const body = `${{ github.event.number }} made changes to the client, this needs to get applied in: const body = `${{ github.sha }} made changes to the client, this needs to get applied in:
- [ ] Python - [ ] Python
- [ ] Java - [ ] Java
- [ ] .NET`; - [ ] .NET`;
await github.issues.create({ await github.issues.create({
owner: context.payload.pull_request.base.repo.owner.login, owner: 'microsoft',
repo: context.payload.pull_request.base.repo.name, repo: playwright',
title: '[Internal] Backport client change to language ports', title: '[Internal] Backport client change to language ports',
body, body,
}); });