Add the checkout ref for incorporating PR

Since we moved to using pull_request_target which executes the
workflow in the context of the base repository but the default HEAD
that gets checked out is now the main branch rather than the PR.
This ensures the pull request HEAD is checked out before running the
workflow.

.github/workflows/build-dev.yaml

@@ -13,6 +13,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+        with:
+          ref: "${{ github.event.pull_request.merge_commit_sha }}"
 
       - name: Install devbox
         uses: jetify-com/devbox-install-action@v0.11.0

.github/workflows/synopsys.yaml

@@ -13,6 +13,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+        with:
+          ref: "${{ github.event.pull_request.merge_commit_sha }}"
 
       - name: Install devbox
         run: curl -fsSL https://get.jetpack.io/devbox | bash -s -- -f