Repository navigation

feat: one-click add last transcript to dictionary; word-boundary term… #14

	name: Deploy landing page to GitHub Pages

	# Replaces the legacy branch-based Pages builder (which intermittently hung in
	# "building"). This deploys the static docs/ folder via GitHub Actions instead.
	on:
	push:
	branches: [main]
	paths:
	- "docs/**"
	- ".github/workflows/pages.yml"
	workflow_dispatch:

	permissions:
	contents: read
	pages: write
	id-token: write

	# Only one deploy at a time; a newer push supersedes an in-flight one.
	concurrency:
	group: pages
	cancel-in-progress: true

	jobs:
	deploy:
	runs-on: ubuntu-latest
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- uses: actions/checkout@v4
	- uses: actions/configure-pages@v5
	- uses: actions/upload-pages-artifact@v3
	with:
	path: docs
	- id: deployment
	uses: actions/deploy-pages@v4