chore: bump toolchain to v4.28.0 (#118) #26

	name: Release

	on:
	push:
	tags:
	- "v[0-9]+.[0-9]+.[0-9]+"

	permissions:
	contents: write

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:

	- name: Checkout
	uses: actions/checkout@v6

	- name: Install Lean
	uses: leanprover/lean-action@v1
	with:
	build: false
	test: false
	lint: false
	use-github-cache: true

	- name: Build Docs
	working-directory: docs
	run: lake build --keep-toolchain UnicodeBasic:docs UnicodeData:docs

	- name: Compress Docs
	working-directory: docs
	env:
	TAG_NAME: ${{ github.ref_name }}
	run: \|
	tar -czf docs-${TAG_NAME}.tar.gz doc doc-data
	zip -rq docs-${TAG_NAME}.zip doc doc-data

	- name: Release
	uses: softprops/action-gh-release@v2
	with:
	files: \|
	docs/docs-${{ github.ref_name }}.tar.gz
	docs/docs-${{ github.ref_name }}.zip
	fail_on_unmatched_files: true

	- name: Deploy Docs
	run: \|
	git config user.name 'Unicode Basic Bot'
	git config user.email 'unicode-basic-bot@users.noreply.github.com'
	git checkout -b docs
	git add docs/doc docs/doc-data
	git commit -m 'chore: generate docs'
	git push origin docs --force

Provide feedback