Trigger build after creating PR

vita-rust · Jul 19, 2023 · a27d86d · a27d86d
1 parent 525a29a
commit a27d86d
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/.github/workflows/build-example.yml → .github/workflows/build.yml b/.github/workflows/build-example.yml → .github/workflows/build.yml
@@ -1,4 +1,4 @@
-name: Build example
+name: Build
 
 on:
   push:

diff --git a/.github/workflows/update-bindings.yml b/.github/workflows/update-bindings.yml
@@ -71,12 +71,19 @@ jobs:
           cargo fmt
 
       - name: Commit and create pull request
+        id: create-pull-request
         uses: peter-evans/create-pull-request@v5
         with:
           title: Update vita-headers bindings
           body: Created by the action at [/.workflows/update-bindings.yml](../tree/main/.workflows/update-bindings.yml)
           branch: update-bindings
           delete-branch: true
           commit-message: Update vita-headers to ${{ env.VITA_HEADERS_HASH }}
-          committer: github-actions <[email protected]>
           assignees: pheki
+
+      - name: Trigger build
+        env:
+          # Required by Github CLI (`gh`)
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          gh workflow run build.yml --ref ${{ steps.create-pull-request.outputs.pull-request-head-sha }}