diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6b5e2bfaa7..76fe6354f0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,6 +9,8 @@ on: pull_request: + workflow_dispatch: + concurrency: group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} cancel-in-progress: true diff --git a/.github/workflows/rust-toolchain-update.yml b/.github/workflows/rust-toolchain-update.yml index 2478f351a5..31b1ec2fd5 100644 --- a/.github/workflows/rust-toolchain-update.yml +++ b/.github/workflows/rust-toolchain-update.yml @@ -13,6 +13,7 @@ jobs: permissions: contents: write pull-requests: write + actions: write steps: - name: Checkout Repository @@ -127,3 +128,12 @@ jobs: }); console.log(`Created PR #${pr.number}: ${pr.title}`); + + // Run the CI workflow on the PR branch. Needed because GITHUB_TOKEN + // doesn't trigger workflows, except for workflow_dispatch. + await github.rest.actions.createWorkflowDispatch({ + owner: context.repo.owner, + repo: context.repo.repo, + workflow_id: 'ci.yml', + ref: branchName, + });