PR number extraction and custom PR comment action.

2025-10-19 11:13:19 -04:00
parent 147d9606a1
commit 4285fa69d9
1 changed files with 4 additions and 3 deletions
@@ -68,6 +68,7 @@ jobs:
      - name: Install Tea
        id: install-tea-pr-index
        env:
+          TEA_VERSION: "0.10.1"
          TEA_DL_URL: "https://dl.gitea.com/tea/${TEA_VERSION}/tea-${TEA_VERSION}-linux-amd64"
        shell: bash
        run: |
@@ -79,11 +80,11 @@ jobs:
          cd /tmp
          wget -q "${TEA_DL_URL}"
          wget -q "${TEA_DL_URL}.sha256"
-          if $(sha256sum --quiet -c "tea-${{ inputs.tea-version }}-linux-amd64.sha256"); then
-            mv "tea-${{ inputs.tea-version }}-linux-amd64" /usr/bin/tea
+          if $(sha256sum --quiet -c "tea-${TEA_VERSION}-linux-amd64.sha256"); then
+            mv "tea-${TEA_VERSION}-linux-amd64" /usr/bin/tea
            chmod +x /usr/bin/tea
          else
-            echo "WARNING ⛔: Tea v${{ inputs.tea-version }} Checksum Failed"
+            echo "WARNING ⛔: Tea v${TEA_VERSION} Checksum Failed"
            exit 1
          fi