File tree Expand file tree Collapse file tree 2 files changed +12
-0
lines changed Expand file tree Collapse file tree 2 files changed +12
-0
lines changed Original file line number Diff line number Diff line change 9
9
10
10
pull_request :
11
11
12
+ workflow_dispatch :
13
+
12
14
concurrency :
13
15
group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
14
16
cancel-in-progress : true
Original file line number Diff line number Diff line change 13
13
permissions :
14
14
contents : write
15
15
pull-requests : write
16
+ actions : write
16
17
17
18
steps :
18
19
- name : Checkout Repository
@@ -127,3 +128,12 @@ jobs:
127
128
});
128
129
129
130
console.log(`Created PR #${pr.number}: ${pr.title}`);
131
+
132
+ // Run the CI workflow on the PR branch. Needed because GITHUB_TOKEN
133
+ // doesn't trigger workflows, except for workflow_dispatch.
134
+ await github.rest.actions.createWorkflowDispatch({
135
+ owner: context.repo.owner,
136
+ repo: context.repo.repo,
137
+ workflow_id: 'ci.yml',
138
+ ref: branchName,
139
+ });
You can’t perform that action at this time.
0 commit comments