File tree Expand file tree Collapse file tree 1 file changed +0
-25
lines changed
Expand file tree Collapse file tree 1 file changed +0
-25
lines changed Original file line number Diff line number Diff line change 1919 - " *.md"
2020 - " .kokoro/**"
2121 - " .github/**"
22- pull_request_target :
23- types : [labeled]
24- paths-ignore :
25- - " *.md"
26- - " .kokoro/**"
27- - " .github/**"
2822
2923jobs :
3024 lint :
3428 concurrency :
3529 group : ${{ github.workflow }}-${{ github.ref }}
3630 cancel-in-progress : true
37- # run job on proper workflow event triggers (skip job for pull_request event from forks and only run pull_request_target for "tests: run" label)
38- if : " ${{ (github.event.action != 'labeled' && github.event.pull_request.head.repo.full_name == github.event.pull_request.base.repo.full_name) || github.event.label.name == 'tests: run' }}"
3931
4032 steps :
41- - name : Remove PR label
42- if : " ${{ github.event.action == 'labeled' && github.event.label.name == 'tests: run' }}"
43- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
44- with :
45- github-token : ${{ secrets.GITHUB_TOKEN }}
46- script : |
47- try {
48- await github.rest.issues.removeLabel({
49- name: 'tests: run',
50- owner: context.repo.owner,
51- repo: context.repo.repo,
52- issue_number: context.payload.pull_request.number
53- });
54- } catch (e) {
55- console.log('Failed to remove label. Another job may have already removed it!');
56- }
57-
5833 - name : Checkout Repository
5934 uses : actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 # v3
6035 with :
You can’t perform that action at this time.
0 commit comments