Update copilot instructions #2

	name: Deploy Docs to GitHub Pages

	on:
	push:
	branches:
	- master
	# TODO: Remove this when the docs website is ready to be merged into master :
	- feature/docs-website
	paths:
	- 'docs/**'
	- '.github/workflows/docs.yml'
	workflow_dispatch:

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: write

	# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
	# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
	concurrency:
	group: pages
	cancel-in-progress: false

	jobs:
	deploy:
	name: Build and deploy VitePress site
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	fetch-depth: 0 # Needed for lastUpdated feature

	- name: Setup Node.js
	uses: actions/setup-node@v4
	with:
	node-version: 22
	cache: npm
	cache-dependency-path: docs/package-lock.json

	- name: Install dependencies
	working-directory: docs
	run: npm ci

	- name: Build VitePress site
	working-directory: docs
	run: npm run build

	- name: Deploy to GitHub Pages
	uses: peaceiris/actions-gh-pages@v4
	with:
	deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
	publish_dir: ./docs/.vitepress/dist
	external_repository: EFNext/efnext.github.io
	publish_branch: main
	user_name: 'github-actions[bot]'
	user_email: 'github-actions[bot]@users.noreply.github.com'

Provide feedback