ci: fix repo name detection

2026-09-22 05:05:20 +08:00 · 2023-06-02 21:40:18 +00:00
parent ea03c7276b
commit f37e007b8e
1 changed files with 1 additions and 1 deletions
@@ -9,7 +9,7 @@ runs:
  steps:
    - shell: bash
      run: |
-        repo_name=${{ github.event.pull_request.head.repo.full_name }}
+        repo_name=${{ github.repository_owner	 }}/${{ github.repository_name }}
        echo "repo_name: $repo_name"
        if [[  $repo_name != "coder/coder" ]]; then
          echo "Not a pull request from the main repo, skipping..."