diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-08 12:46:24 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-03-08 12:46:24 +0100 |
| commit | 871be8f54ace198c42780b366d1817ffc77e9fa6 (patch) | |
| tree | b8e4b877530194bc93d5bd0895276771ed4660df | |
| parent | cdd8af229960d05c8dfe5ca3e5f5e2066e676213 (diff) | |
| download | rust-871be8f54ace198c42780b366d1817ffc77e9fa6.tar.gz rust-871be8f54ace198c42780b366d1817ffc77e9fa6.zip | |
Add missing `GH_TOKEN` environment variable
It is needed for using the `gh` CLI commands.
| -rw-r--r-- | .github/workflows/post-merge.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/post-merge.yml b/.github/workflows/post-merge.yml index d3f42c5a905..919e1bb3320 100644 --- a/.github/workflows/post-merge.yml +++ b/.github/workflows/post-merge.yml @@ -17,14 +17,15 @@ jobs: steps: - uses: actions/checkout@v4 - name: Perform analysis and send PR + env: + GH_TOKEN: ${{ github.token }} run: | # Get closest bors merge commit PARENT_COMMIT=`git rev-list --author='bors <bors@rust-lang.org>' -n1 --first-parent HEAD^1` + echo "Parent: ${PARENT_COMMIT}" # Find PR for the current commit HEAD_PR=`gh pr list --search "${{ github.sha }}" --state merged --json number --jq '.[0].number'` - - echo "Parent: ${PARENT_COMMIT}" echo "HEAD: ${{ github.sha }} (#${HEAD_PR})" cd src/ci/citool |