diff options
| author |  Chris Lovering <[email protected]> | 2024-04-27 19:58:19 +0200 |
|---|---|---|
| committer |  Johannes Christ <[email protected]> | 2024-04-27 20:04:23 +0200 |
| commit | a9495dceb788c193c8a8b9b4415be1c27d2d7305 (patch) | |
| tree | 4252c0712eaba3a35fa200fdab9772ac63eb06f1 | |
| parent | Remove fallback service in favour of DNS logging (diff) | |
Use curl for sending status embed
Using `wget` this fails occasionally for unknown reasons.
| -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 c328fa4..8c96b5d 100644 --- a/.github/workflows/status_embed.yaml +++ b/.github/workflows/status_embed.yaml @@ -36,7 +36,7 @@ jobs: curl -s -H "Authorization: token $GITHUB_TOKEN" ${{ github.event.workflow_run.artifacts_url }} | tee 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)" |