ci: read PR head repo full_name

bevry · Oct 28, 2024 · d81681b · d81681b
1 parent 29dbacb
commit d81681b
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/.github/workflows/dorothy-workflow.yml b/.github/workflows/dorothy-workflow.yml
@@ -34,6 +34,9 @@ jobs:
             github.repository:
             ${{ toJson(github.repository) }}
 
+            github.event.pull_request.head.repo.full_name:
+            ${{ github.event_name == 'pull_request' && toJson(github.event.pull_request.head.repo.full_name) }}
+
             github.event.pull_request.head.sha:
             ${{ github.event_name == 'pull_request' && toJson(github.event.pull_request.head.sha) }}
 
@@ -43,8 +46,14 @@ jobs:
             github.ref
             ${{ toJson(github.ref) }}
 
+            resolved slug:
+            ${{ toJson(github.event.pull_request.head.repo.full_name || github.repository) }}
+
+            resolved sha:
+            ${{ toJson(github.event.pull_request.head.sha || github.sha) }}
+
             github:
-            ${{ toJson(github) }}
+            ${{ false && toJson(github) }}
           EGITHUB
   login-shells-and-linting:
     if: github.event_name == 'push' || ( github.event_name == 'pull_request' && toJson(github.event.pull_request.draft) == 'false' && toJson(github.event.pull_request.state) == '"open"' && toJson(github.event.pull_request.assignees) != '[]' )