Bump package version #7

	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 }}

Provide feedback