Try to fix github-pages deployment. #598

	on:
	- push

	jobs:
	build-and-test:
	runs-on: ubuntu-latest
	steps:
	- 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.14'
	- 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: Archive www
	uses: actions/upload-pages-artifact@v4
	with:
	name: github-pages
	path: www/main
	deploy:
	needs: build-and-test
	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