fix: Check out the PR head instead of merge commit in restyled.

Should fix "The checked out commit does not match the event PR's head. 20a741e0d90339ae3f2bca41326e73f8ca6389db != 715caf13cf2906727bffe7c4b6e964455d1c6bc5. Weird things may happen." E.g. https://github.com/TokTok/qTox/actions/runs/12591052375?pr=354
TokTok · Jan 3, 2025 · 58188f2 · 58188f2
1 parent cb56dbd
commit 58188f2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/common-ci.yml b/.github/workflows/common-ci.yml
@@ -19,6 +19,8 @@ jobs:
     runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.head.sha }}
       - uses: restyled-io/actions/setup@v4
       - id: restyler
         uses: restyled-io/actions/run@v4