set path #3

	name: Deploy to Github Pages

	on:
	push:


	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: read
	pages: write
	id-token: write

	jobs:
	deploy:
	permissions:
	contents: write

	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: ["3.13"]

	steps:
	- uses: actions/checkout@v4
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}

	- name: Install requirements
	run: pip install -r requirements.txt

	- name: Setup Pages
	uses: actions/configure-pages@v5


	# This needs a _site directory
	- name: Upload artifact
	uses: actions/upload-pages-artifact@v3

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4
	with:
	path: tmp/site


	# TODO build to folder





	# - name: Configure SSH for Deploy Key
	# run: \|
	# mkdir -p ~/.ssh
	# echo "${{ secrets.DEPLOY_KEY_SECRET }}" > ~/.ssh/id_rsa
	# chmod 600 ~/.ssh/id_rsa
	# ssh-keyscan github.com >> ~/.ssh/known_hosts

	# - name: Deploy documentation
	# env:
	# DEPLOY_KEY: ${{ secrets.DEPLOY_KEY_SECRET }}
	# run: \|
	# git config --global init.defaultBranch 'main'
	# git config --global user.email 'contact@basvandriel.nl'
	# git config --global user.name "basbot"
	# ./upload_to_ghpages.sh

Provide feedback