diff options
author | 2023-12-18 17:43:50 +0100 | |
---|---|---|
committer | 2023-12-18 17:43:50 +0100 | |
commit | c80e19c1a11725ce56d06253b3dc59b9358b778f (patch) | |
tree | a845e23032b505ee21d835ed8e26e31881f65d42 | |
parent | Bump bot-core version (#2853) (diff) |
download pull request artifact with curl
-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 60bdaf770..8c99bb1b2 100644 --- a/.github/workflows/status_embed.yaml +++ b/.github/workflows/status_embed.yaml @@ -43,7 +43,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 --quiet --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 "::set-output name=pr_author_login::$(jq -r '.user.login // empty' pull_request_payload.json)" |