bump-package-version.yml

name: Bump package version

on:
  workflow_dispatch:
    inputs:
      package:
        description: 'Package to bump'
        required: true
        type: choice
        options:
          - infoview-api
          - infoview
          - unicode-input
          - unicode-input-component
      version:
        description: 'New version (e.g. 0.12.0)'
        required: true
        type: string

permissions:
  contents: write
  pull-requests: write

jobs:
  bump:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v2

      - name: Setup Node.js
        uses: actions/setup-node@v4
        with:
          node-version: '24'

      - name: Configure git identity
        run: |
          git config user.name "github-actions[bot]"
          git config user.email "github-actions[bot]@users.noreply.github.com"

      - name: Bump version
        run: ./bump-package-version.sh "${{ inputs.package }}" "${{ inputs.version }}"

      - name: Create pull request
        run: |
          branch="bump/${{ inputs.package }}-${{ inputs.version }}"
          git checkout -b "$branch"
          git push -u origin "$branch"
          gh pr create \
            --title "chore: bump @leanprover/${{ inputs.package }} to ${{ inputs.version }}" \
            --body "Automated version bump of \`@leanprover/${{ inputs.package }}\` to \`${{ inputs.version }}\`."
        env:
          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}