diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-01-31 17:02:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-31 17:02:21 +0100 |
| commit | be412df9cb738b68025ff4eb37e64a68ad362d51 (patch) | |
| tree | a3695cc578961f95ac533d1d9c2be899665f4b5e /src/doc/rustc-dev-guide | |
| parent | f2e5b5a6c6440323da8972d21755c8dee3df93db (diff) | |
| parent | 179a2f8a5389dc910602c352d4b98f2dd96d8ca7 (diff) | |
| download | rust-be412df9cb738b68025ff4eb37e64a68ad362d51.tar.gz rust-be412df9cb738b68025ff4eb37e64a68ad362d51.zip | |
Merge pull request #2237 from Kobzol/ci-fix
Pass `GITHUB_TOKEN` to Zulip CI step
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml index 5d5b145c943..2a9f56fd650 100644 --- a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml +++ b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml @@ -61,6 +61,8 @@ jobs: - name: Create pull request id: update-pr if: ${{ steps.rustc-pull.outputs.pull_result == 'pull-finished' }} + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | # Check if an open pull request for an rustc pull update already exists # If it does, the previous push has just updated it @@ -75,8 +77,6 @@ jobs: echo "Updating pull request ${PR_URL}" echo "pr_url=$PR_URL" >> $GITHUB_OUTPUT fi - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} send-zulip-message: needs: [pull] if: ${{ !cancelled() }} @@ -84,6 +84,8 @@ jobs: steps: - name: Compute message id: create-message + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | if [ "${{ needs.pull.result }}" == "failure" ]; then WORKFLOW_URL="${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" |