ci: checkout PR with git commands [skip ci]

VSCodium · Dec 17, 2023 · 0d7ded3 · 0d7ded3
1 parent 40c487f
commit 0d7ded3
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/stable-linux.yml b/.github/workflows/stable-linux.yml
@@ -48,9 +48,11 @@ jobs:
           ref: ${{ env.GITHUB_BRANCH }}
 
       - name: Checkout PR
-        uses: dawidd6/action-checkout-pr@v1
-        with:
-          pr: ${{ github.event.inputs.checkout_pr }}
+        env:
+          PR_ID: ${{ github.event.inputs.checkout_pr }}
+        run: |
+          git fetch origin pull/$PR_ID/head
+          git checkout FETCH_HEAD
         if: github.event.inputs.checkout_pr != ''
 
       - name: Clone VSCode repo