hotfix(ci): correctly detect repo name (#7820)

2026-09-24 15:04:27 +08:00 · 2023-06-02 20:18:09 +00:00
parent d082ab59b4
commit 97fb5020cf
1 changed files with 3 additions and 1 deletions
@@ -9,7 +9,9 @@ runs:
  steps:
    - shell: bash
      run: |
-        if [[ ${{ github.event.pull_request.head.repo.full_name != 'coder/coder' }} ]]; then
+        repo_name=${{ github.event.pull_request.head.repo.full_name }}
+        echo "repo_name: $repo_name"
+        if [[  $repo_name != "coder/coder" ]]; then
          echo "Not a pull request from the main repo, skipping..."
          exit 0
        fi