diff options
| author |  jchristgit <[email protected]> | 2024-04-14 14:19:19 +0200 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2024-04-14 13:19:19 +0100 |
| commit | efb1424e23e23712b04c97049cb6f04a7d1cc9e3 (patch) | |
| tree | c33db9c221259c8f86ae1efbd7cb4667164fcd13 | |
| parent | Add a users role (diff) | |
Log the result of the status embed request (#215)
Allow us to debug the issue raised in #214.
| -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 e1be00e..c328fa4 100644 --- a/.github/workflows/status_embed.yaml +++ b/.github/workflows/status_embed.yaml @@ -33,7 +33,7 @@ jobs: id: pr_info if: github.event.workflow_run.event == 'pull_request' run: | - curl -s -H "Authorization: token $GITHUB_TOKEN" ${{ github.event.workflow_run.artifacts_url }} > artifacts.json + 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 |