diff options
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/forms-backend.yml | 4 | ||||
| -rw-r--r-- | .github/workflows/status-embed.yml | 17 | 
2 files changed, 12 insertions, 9 deletions
| diff --git a/.github/workflows/forms-backend.yml b/.github/workflows/forms-backend.yml index ae6cda9..2d2691d 100644 --- a/.github/workflows/forms-backend.yml +++ b/.github/workflows/forms-backend.yml @@ -62,7 +62,7 @@ jobs:          id: sha_tag          run: |            tag=$(cut -c 1-7 <<< $GITHUB_SHA) -          echo "::set-output name=tag::$tag" +          echo "sha-tag=$tag" >> $GITHUB_OUTPUT        - name: Checkout repository          uses: actions/checkout@v4 @@ -102,7 +102,7 @@ jobs:          id: sha_tag          run: |            tag=$(cut -c 1-7 <<< $GITHUB_SHA) -          echo "::set-output name=tag::$tag" +          echo "sha-tag=$tag" >> $GITHUB_OUTPUT        - name: Checkout repository          uses: actions/checkout@v4 diff --git a/.github/workflows/status-embed.yml b/.github/workflows/status-embed.yml index 124bdea..6d751fa 100644 --- a/.github/workflows/status-embed.yml +++ b/.github/workflows/status-embed.yml @@ -14,6 +14,9 @@ jobs:      runs-on: ubuntu-latest      steps: +      # A workflow_run event does not contain all the information +      # we need for a PR embed. That's why we upload an artifact +      # with that information in the Lint workflow.        - name: Get Pull Request Information          id: pr_info          if: github.event.workflow_run.event == 'pull_request' @@ -21,13 +24,13 @@ 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)" -          echo "::set-output name=pr_number::$(jq -r '.number // empty' pull_request_payload.json)" -          echo "::set-output name=pr_title::$(jq -r '.title // empty' pull_request_payload.json)" -          echo "::set-output name=pr_source::$(jq -r '.head.label // empty' pull_request_payload.json)" +          echo "pr_author_login=$(jq -r '.user.login // empty' pull_request_payload.json)" >> $GITHUB_OUTPUT +          echo "pr_number=$(jq -r '.number // empty' pull_request_payload.json)" >> $GITHUB_OUTPUT +          echo "pr_title=$(jq -r '.title // empty' pull_request_payload.json)" >> $GITHUB_OUTPUT +          echo "pr_source=$(jq -r '.head.label // empty' pull_request_payload.json)" >> $GITHUB_OUTPUT          env:            GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} @@ -42,14 +45,14 @@ jobs:            webhook_id: '784184528997842985'            webhook_token: ${{ secrets.GHA_WEBHOOK_TOKEN }} -          # Workflow information +          # We need to provide the information of the workflow that +          # triggered this workflow instead of this workflow.            workflow_name: ${{ github.event.workflow_run.name }}            run_id: ${{ github.event.workflow_run.id }}            run_number: ${{ github.event.workflow_run.run_number }}            status: ${{ github.event.workflow_run.conclusion }}            sha: ${{ github.event.workflow_run.head_sha }} -          # Now we can use the information extracted in the previous step:            pr_author_login: ${{ steps.pr_info.outputs.pr_author_login }}            pr_number: ${{ steps.pr_info.outputs.pr_number }}            pr_title: ${{ steps.pr_info.outputs.pr_title }} | 
