feat: store recent project folders and offer them in the File menu (#… #142

	# This workflow will do a clean install of node dependencies, build the source code and run tests across different versions of node
	# For more information see: https://help.github.com/actions/language-and-framework-guides/using-nodejs-with-github-actions

	name: GitHub Pages deploy

	on:
	push:
	branches: [master]

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@v4
	- name: Use Node.js 18.x
	uses: actions/setup-node@v4
	with:
	node-version: '18.x'

	- name: Installing my packages
	run: npm ci

	- name: Build my App
	run: npm run doc:build && touch docs-out/.nojekyll

	- name: Deploy 🚀
	uses: JamesIves/github-pages-deploy-action@v4.4.3
	with:
	git-config-name: https://dotneteer.github.io/kliveide
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	BRANCH: gh-pages # The branch the action will deploy to
	FOLDER: docs-out # The folder the action will deploy to

Provide feedback