Use node v. 20 instead of v. 16 to build the extension on GitHub CI #41

	name: update-vscode-extension

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]

	# This key is required to enable manual triggers of this workflow.
	workflow_dispatch:

	jobs:
	build-update-deploy-extension:
	runs-on: ubuntu-latest
	steps:

	- name: Checkout the source code from the repository
	uses: actions/checkout@v3

	- name: Setup the development environement
	uses: actions/setup-node@v3
	with:
	node-version: "20"

	- name: Install all the dependencies
	run: yarn

	- name: Build i-LaTeX
	run: yarn run build

	- name: Package i-LaTeX as a .vsix VSCode extension
	run: yarn run package

	- name: Create an archive with the VSCode extension and the LaTeX package
	uses: papeloto/action-zip@v1
	with:
	files: ilatex.vsix latex/ilatex.sty
	dest: ilatex.zip

	# Note: the 'git rm -rf .' command is required because we are pushing to an orphan branch.
	# If the command is not used, all the files from the 'master' branch
	# appear to be staged and to be pushed along the ilatex.vsix file.
	- name: Commit files to the CI branch
	run: \|
	git config --local user.name "github-action"
	git config --local user.email "<>"
	git rm -rf .
	git checkout HEAD -- "latex/ilatex.sty"
	git add -f "ilatex.vsix" "latex/ilatex.sty" "ilatex.zip"
	git commit -m "Update the files to publish"

	- name: Push the commit to the CI branch
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: "ci-vscode-extension"
	force: true

Provide feedback