PR number extraction and custom PR comment action.

2025-10-19 11:10:58 -04:00
parent aa041c5e62
commit 147d9606a1
1 changed files with 4 additions and 1 deletions
@@ -68,10 +68,13 @@ jobs:
      - name: Install Tea
        id: install-tea-pr-index
        env:
-          TEA_DL_URL: "https://dl.gitea.com/tea/${{ env.TEA_VERSION }}/tea-${{ env.TEA_VERSION }}-linux-amd64"
+          TEA_DL_URL: "https://dl.gitea.com/tea/${TEA_VERSION}/tea-${TEA_VERSION}-linux-amd64"
        shell: bash
        run: |
+          echo ${{ gitea.ref }}
+          echo ${{ github.ref }}
          echo ${{ gitea.ref_name }}
+          echo ${{ github.ref_name }}

          cd /tmp
          wget -q "${TEA_DL_URL}"