ci(rust): Run CI against toolchain update bot PRs

Author: szokeasaurusrex

.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

.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,
+            });