update deploy pages action #36

	name: Build and Deploy
	on:
	push:
	branches: main
	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@v3

	- name: Install Nix ❄️ # This example project is built using npm and outputs the result to the 'build' folder. Replace with the commands required to build your project, or remove this step entirely if your site is pre-built.
	uses: DeterminateSystems/nix-installer-action@main

	- name: Build 🔧
	run: \|
	nix run
	nix develop -c build-forest

	- name: Upload 📁
	uses: actions/upload-pages-artifact@main
	with:
	path: 'build/'
	deploy:
	runs-on: ubuntu-latest
	# Add a dependency to the build job
	needs: build

	# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
	permissions:
	pages: write # to deploy to Pages
	id-token: write # to verify the deployment originates from an appropriate source

	# Deploy to the github-pages environment
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}

	# deployment step
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback