published-release #5
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: Update ToolHive Reference Docs | |
| on: | |
| workflow_dispatch: | |
| repository_dispatch: | |
| types: [published-release] | |
| permissions: | |
| contents: write | |
| pull-requests: write | |
| jobs: | |
| update-reference: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4 | |
| with: | |
| fetch-depth: 0 | |
| - name: Set up Git | |
| run: | | |
| git config --global user.name "github-actions[bot]" | |
| git config --global user.email "github-actions[bot]@users.noreply.github.com" | |
| - name: Run update-toolhive-reference.sh and capture version | |
| id: imports | |
| run: | | |
| chmod +x scripts/update-toolhive-reference.sh | |
| scripts/update-toolhive-reference.sh | |
| - name: Check for changes | |
| id: git-diff | |
| run: | | |
| git add . | |
| if git diff --cached --quiet; then | |
| echo "No changes to commit." | |
| echo "changed=false" >> $GITHUB_OUTPUT | |
| else | |
| echo "Changes detected." | |
| echo "changed=true" >> $GITHUB_OUTPUT | |
| fi | |
| - name: Create Pull Request | |
| if: steps.git-diff.outputs.changed == 'true' | |
| uses: peter-evans/create-pull-request@271a8d0340265f705b14b6d32b9829c1cb33d45e # v7 | |
| with: | |
| branch: update-toolhive-reference-${{ steps.imports.outputs.version }} | |
| title: | | |
| Update ToolHive reference docs for ${{ steps.imports.outputs.version }} | |
| body: | | |
| This PR updates the ToolHive CLI and API reference documentation to the latest release: ${{ steps.imports.outputs.version }}. | |
| commit-message: | | |
| Update ToolHive reference docs for ${{ steps.imports.outputs.version }} | |
| delete-branch: true | |
| sign-commits: true |