renamed #2

	# Taken from github.com/rymaju

	name: Build & Deploy

	# Controls when the workflow will run
	on:
	push:
	workflow_dispatch:

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	build-and-deploy:
	concurrency: ci-${{ github.ref }} # Recommended if you intend to make multiple deployments in quick succession.

	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v3

	- name: Install Racket
	uses: Bogdanp/[email protected]
	with:
	architecture: 'x64'
	distribution: 'full'
	variant: 'CS'
	version: '8.4'

	- name: Install Pollen
	run: raco pkg install --auto pollen

	- name: Build and Publish Pollen Source Files
	run: >
	mkdir -p build/small-rust-os &&
	raco pollen render src && raco pollen render src/small-rust-os &&
	raco pollen publish src build && raco pollen publish src/small-rust-os build/small-rust-os

	- name: Deploy
	uses: JamesIves/[email protected]
	with:
	branch: gh-pages # The branch the action should deploy to.
	folder: build # The folder the action should deploy.

Provide feedback