Fix CI.

LukeMathWalker · Apr 26, 2024 · a0def0f · a0def0f
1 parent 51701dd
commit a0def0f
Showing 1 changed file with 14 additions and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -29,8 +29,21 @@ jobs:
           - target: x86_64-pc-windows-msvc
             os: windows-2022
     steps:
-      - name: Checkout repository
+      - name: Checkout repository from source repo
+        if: |
+          (github.event_name == 'push' && github.event.repository.full_name == github.repository)
+        uses: actions/checkout@v4
+      - name: Checkout repository from fork
+        if: |
+          github.event_name == 'repository_dispatch' &&
+          github.event.client_payload.slash_command.args.named.sha != '' &&
+          contains(
+            github.event.client_payload.pull_request.head.sha,
+            github.event.client_payload.slash_command.args.named.sha
+          )
         uses: actions/checkout@v4
+        with:
+          ref: 'refs/pull/${{ github.event.client_payload.pull_request.number }}/merge'
       - uses: ./.github/actions/create-check
         if: ${{ github.event_name != 'push' }}
         with: