chore: more graceful error on missing GITHUB_TOKEN in codegen #498
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Add milestone on PR merge | |
| on: | |
| pull_request: | |
| branches: | |
| - main | |
| types: | |
| - closed | |
| permissions: | |
| pull-requests: write | |
| jobs: | |
| add-milestone: | |
| if: github.event.pull_request.merged == true | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Authenticate GitHub CLI | |
| run: echo "${{ secrets.GITHUB_TOKEN }}" | gh auth login --with-token | |
| - name: Get open milestone | |
| id: milestone | |
| run: | | |
| milestone=$(gh api repos/${{ github.repository }}/milestones \ | |
| --jq '.[] | select(.state=="open") | .title' | head -n 1) | |
| echo "Found milestone: $milestone" | |
| echo "milestone=$milestone" >> $GITHUB_OUTPUT | |
| - name: Add milestone to PR | |
| if: steps.milestone.outputs.milestone != '' | |
| run: | | |
| gh pr edit ${{ github.event.pull_request.number }} \ | |
| --repo ${{ github.repository }} \ | |
| --milestone "${{ steps.milestone.outputs.milestone }}" |