Bump eslint from 9.13.0 to 9.14.0 #510

	# Node.js CI workflow

	name: Node.js CI

	on: [push, pull_request, merge_group]

	jobs:
	build:
	runs-on: ubuntu-latest
	env:
	IS_PUSH_MAIN: ${{ github.ref == 'refs/heads/main' }}
	IS_PUSH_TAG: ${{ startsWith(github.ref, 'refs/tags/') }}
	steps:
	- name: Check out code
	uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: Setup Node.js
	uses: actions/setup-node@v4
	with:
	node-version: '20.x'
	- name: Install dependencies
	run: yarn install --frozen-lockfile
	- name: Run lint
	run: yarn run lint
	- name: Build
	run: \|
	rm -Rf ./build
	yarn run build
	- name: Prepare for deploy (if tag or main branch)
	if: env.IS_PUSH_MAIN == 'true' \|\| env.IS_PUSH_TAG == 'true'
	run: \|
	rm -Rf ./node_modules/*
	yarn install --prod
	mkdir build
	cp license.txt package.json readme.md ./build
	cp -Rf public/* ./build
	cp -Rf dist node_modules ./build
	./resources/scripts/prep-deploy.sh -f build/index.html
	- name: Push to gh-pages (if tag or main branch)
	if: env.IS_PUSH_MAIN == 'true' \|\| env.IS_PUSH_TAG == 'true'
	run: \|
	DEPLOY_DIR=./demo/trunk
	if ${{ env.IS_PUSH_TAG }}; then
	DEPLOY_DIR=./demo/stable
	fi
	ALL=/*
	git config user.email [email protected]
	git config user.name github-actions
	git checkout .
	git checkout gh-pages
	rm -Rf $DEPLOY_DIR$ALL
	cp -Rf ./build/* $DEPLOY_DIR
	git add -A $DEPLOY_DIR
	git diff-index --quiet HEAD \|\|
	git commit -m "CI run ${{ github.run_number }} pushed to gh-pages"
	git push -fq origin gh-pages

Provide feedback