Bump eslint from 9.14.0 to 9.15.0 #529

	# 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 (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 -Rf . ./build
	cp -Rf src css ext node_modules resources ./build
	- 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 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