refactor: migrate notes site to Zensical #95

	name: gh-pages
	on:
	push:
	branches:
	- main
	permissions:
	contents: read
	pages: write
	id-token: write
	jobs:
	deploy:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	steps:
	- uses: actions/configure-pages@v5
	- uses: actions/checkout@v5
	with:
	fetch-depth: 0

	# Set-up dependencies
	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.14"
	cache: pip
	cache-dependency-path: requirements.txt
	- name: Setup pnpm
	uses: pnpm/action-setup@v4
	with:
	version: 10.17.1
	- name: Setup Node
	uses: actions/setup-node@v5
	with:
	node-version: 20
	cache: pnpm
	cache-dependency-path: pnpm-lock.yaml
	- name: Setup requirements
	run: \|
	pip install -r requirements.txt
	pnpm install --frozen-lockfile

	# Prettier check
	- name: Markdown style check (prettier)
	run: \|
	pnpm run format:check

	# Build and deploy
	- name: Generate site statistics
	run: \|
	python scripts/update_site_stats.py
	- name: Build documentation
	run: \|
	zensical build --clean
	- uses: actions/upload-pages-artifact@v4
	with:
	path: site
	- uses: actions/deploy-pages@v4
	id: deployment

Provide feedback