diff options
author | 2023-12-19 12:54:38 +0100 | |
---|---|---|
committer | 2023-12-19 12:54:38 +0100 | |
commit | 1b42d9032784a016fb3c5417ec25361ddaafa41a (patch) | |
tree | a845e23032b505ee21d835ed8e26e31881f65d42 | |
parent | Bump bot-core version (#2853) (diff) | |
parent | download pull request artifact with curl (diff) |
Merge pull request #2855 from python-discord/download-artifacts-with-curl
Download pull request artifact using curl #1185
-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)" |