JetBrains Mono 指定できてなかったんだけど！ #56

	name: Verify library & Generate documentation

	on:
	push:
	branches:
	- main
	pull_request:

	jobs:
	verify:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.x'
	cache: 'pip'

	- name: Install dependencies
	run: \|
	pip install -U pip
	pip install -r requirements.txt

	- name: Restore cached judge data
	uses: actions/cache@v4
	with:
	key: cache-judge-data-${{ github.run_id }}
	restore-keys: cache-judge-data-
	path: \|
	.verify-helper/cache/
	~/.cache/online-judge-tools/library-checker-problems/
	~/.local/share/online-judge-tools/
	save-always: true

	- run: oj-verify all
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	GH_PAT: ${{ secrets.GH_PAT }}

	- run: git switch main

	- name: Set up Node.js
	uses: actions/setup-node@v4
	with:
	node-version: 'latest'
	cache: 'npm'

	- name: Install Vivliostyle
	run: npm install -g @vivliostyle/cli clang-format

	- name: Install dependencies
	run: npm install

	- name: Build PDF
	run: make build

	- name: commit PDF
	run: git add . && git commit -m "[skip actions] build PDF" && git push

	- name: copy to gh-pages
	run: \|
	DIR=$(mktemp -d)
	cp notebook.pdf $DIR
	cp build/*.css $DIR
	cp build/*.html $DIR
	git switch gh-pages
	cp $DIR/* .
	git add . && git commit -m "build PDF" && git push
	git switch main

Provide feedback