Merge pull request #194 from cmsc430/fall-2025 #664

	on:
	- push

	name: Build and Deploy

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Set timezone
	uses: szenius/[email protected]
	with:
	timezoneLinux: "America/New_York"
	- name: Checkout
	uses: actions/checkout@main
	- name: Install dependencies
	run: \|
	curl -Ls https://github.com/jgm/pandoc/releases/download/2.11.2/pandoc-2.11.2-1-amd64.deb -o pandoc.deb
	sudo dpkg -i pandoc.deb
	sudo apt-get install nasm
	sudo apt-get install fonts-stix
	sudo apt-get install libunistring-dev
	- name: Install Racket
	uses: Bogdanp/[email protected]
	with:
	architecture: 'x64'
	distribution: 'full'
	variant: 'CS'
	version: '8.18'
	- name: Install a86 and langs
	run: \|
	git clone https://github.com/cmsc430/a86.git
	git clone https://github.com/cmsc430/langs.git
	raco pkg install --auto a86/
	raco pkg install --auto langs/
	- name: Build and test
	run: \|
	export LINK_DIR=/usr/lib/x86_64-linux-gnu
	# raco pkg install --auto www/
	raco make www/main.scrbl
	make -C www main
	- name: Upload www for GitHub Pages
	uses: actions/upload-pages-artifact@v3
	with:
	name: github-pages
	path: www/main
	- name: Upload www as artifact
	uses: actions/upload-artifact@v4
	with:
	name: site-static
	path: www/main
	if-no-files-found: error
	retention-days: 7

	deploy-github-pages:
	needs: build
	permissions:
	pages: write
	id-token: write
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	if: github.ref == 'refs/heads/main'
	steps:
	- name: Deploy to GitHub pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback