This commit is contained in:
carlospolop
2025-10-01 11:50:22 +02:00
parent 675092de06
commit eb7245d3fd

View File

@@ -46,7 +46,7 @@ jobs:
- name: Publish search index release asset - name: Publish search index release asset
shell: bash shell: bash
env: env:
PAT_TOKEN: ${{ secrets.PAT_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: | run: |
set -euo pipefail set -euo pipefail
@@ -59,7 +59,7 @@ jobs:
exit 1 exit 1
fi fi
TOKEN="${PAT_TOKEN:-${GITHUB_TOKEN:-}}" TOKEN="${GITHUB_TOKEN}"
if [ -z "$TOKEN" ]; then if [ -z "$TOKEN" ]; then
echo "No token available for GitHub CLI" >&2 echo "No token available for GitHub CLI" >&2
exit 1 exit 1