mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Pass `GITHUB_TOKEN` to Zulip CI step

This commit is contained in:
Jakub Beránek 2025-01-31 17:01:38 +01:00
parent d56a2103f8
commit 4755a326eb
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/rustc-pull.yml vendored
View File

@ -61,6 +61,8 @@ jobs:
- name: Create pull request - name: Create pull request
id: update-pr id: update-pr
if: ${{ steps.rustc-pull.outputs.pull_result == 'pull-finished' }} if: ${{ steps.rustc-pull.outputs.pull_result == 'pull-finished' }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: | run: |
# Check if an open pull request for an rustc pull update already exists # Check if an open pull request for an rustc pull update already exists
# If it does, the previous push has just updated it # If it does, the previous push has just updated it
@ -75,8 +77,6 @@ jobs:
echo "Updating pull request ${PR_URL}" echo "Updating pull request ${PR_URL}"
echo "pr_url=$PR_URL" >> $GITHUB_OUTPUT echo "pr_url=$PR_URL" >> $GITHUB_OUTPUT
fi fi
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
send-zulip-message: send-zulip-message:
needs: [pull] needs: [pull]
if: ${{ !cancelled() }} if: ${{ !cancelled() }}
@ -84,6 +84,8 @@ jobs:
steps: steps:
- name: Compute message - name: Compute message
id: create-message id: create-message
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: | run: |
if [ "${{ needs.pull.result }}" == "failure" ]; then if [ "${{ needs.pull.result }}" == "failure" ]; then
WORKFLOW_URL="${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" WORKFLOW_URL="${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}"