diff options
author | 2023-12-15 14:09:32 +0100 | |
---|---|---|
committer | 2023-12-15 13:09:32 +0000 | |
commit | 14e90050076b65a094f66a2da38d38efb5f9baca (patch) | |
tree | a0cf7fca39c9406aad67cd551bd779b832137311 /.github/workflows | |
parent | remove --quiet header to get full output (#1182) (diff) |
use curl to download the pull_request_payload artifact (#1185)
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/status-embed.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/status-embed.yaml b/.github/workflows/status-embed.yaml index c2399bbd..5982b94b 100644 --- a/.github/workflows/status-embed.yaml +++ b/.github/workflows/status-embed.yaml @@ -39,7 +39,7 @@ jobs: curl -s -H "Authorization: token $GITHUB_TOKEN" ${{ github.event.workflow_run.artifacts_url }} > artifacts.json DOWNLOAD_URL=$(cat artifacts.json | jq -r '.artifacts[] | select(.name == "pull-request-payload") | .archive_download_url') [ -z "$DOWNLOAD_URL" ] && exit 1 - wget --header="Authorization: token $GITHUB_TOKEN" -O pull_request_payload.zip $DOWNLOAD_URL || exit 2 + curl -sSL -H "Authorization: token $GITHUB_TOKEN" -o pull_request_payload.zip $DOWNLOAD_URL || exit 2 unzip -p pull_request_payload.zip > pull_request_payload.json [ -s pull_request_payload.json ] || exit 3 echo "pr_author_login=$(jq -r '.user.login // empty' pull_request_payload.json)" >> $GITHUB_OUTPUT |