1.4 provisional rev 1 #44

	name: Publish
	on:
	workflow_dispatch:
	pull_request:
	branches:
	- main


	jobs:
	publish:
	env:
	NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
	- uses: actions/setup-python@39cd14951b08e74b54015e9e001cdefcf80e669f # v5.1.1
	with:
	python-version: '3.11'
	- name: Install Dependencies
	run: \|
	pip install -r requirements.txt
	npm install netlify-cli -g
	- name: Make top level files
	run: make -C src html
	- name: Assemble site
	run: \|
	python scripts/site.py build
	cp -r src/_build/html/* dist
	- name: Publish to development
	# Publish to preview for a PR
	# Cannot publish from a fork because no access to secrets
	if: ${{ github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork == false }}
	run: netlify deploy --dir=dist --site=oneapi-spec
	- name: Publish to production
	# Publish to production when manually triggered for main
	if: ${{ github.event_name == 'workflow_dispatch' \|\| github.ref == 'refs/heads/main' }}
	run: netlify deploy --dir=dist --site=oneapi-spec --prod

Provide feedback