deploy #38

	name: Deploy Pages

	# Controls when the workflow will run
	on:
	repository_dispatch:
	types: ['deploy'] # custom event type: 'deploy'

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

	concurrency:
	group: pages
	cancel-in-progress: false

	jobs:
	deploy:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}

	# 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:
	# Download a build artifact that was previously uploaded in the workflow by the upload-artifact action
	- name: Download Artifact
	uses: actions/download-artifact@v4
	with:
	name: public
	github-token: ${{ secrets.GH_TOKEN }}
	repository: ${{ secrets.SRC_REPO }}
	run-id: ${{ github.event.client_payload.run_id }}

	- name: Extract
	run: \|
	ls -lah .
	mkdir public
	tar -xf artifact.tar -C public
	ls -lh public/

	- name: Setup pages
	uses: actions/configure-pages@v4
	- name: Upload artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: 'public/'
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback