Various infrastructure updates (#64) #123

	name: CI
	on:
	pull_request:
	branches:
	- master
	push:
	branches:
	- master
	jobs:
	build-html:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: '3.12'
	- name: Install Dependencies
	run: \|
	pip install -r source/requirements.txt

	- name: Build HTML
	run: \|
	make html
	build-pdf:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v2
	with:
	python-version: '3.12'
	- name: Install Dependencies
	run: \|
	pip install -r source/requirements.txt
	sudo apt install -y texlive-latex-recommended texlive-fonts-recommended texlive-latex-extra latexmk texlive-lang-greek texlive-luatex texlive-xetex texlive-fonts-extra dvipng librsvg2-bin

	- name: Build PDF
	run: \|
	make latexpdf
	check-links:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: '3.12'
	- name: Install Dependencies
	run: \|
	pip install -r source/requirements.txt
	- name: Check Links
	run: \|
	make linkcheck

Provide feedback