chore(deps-dev): bump @types/node from 18.16.2 to 20.10.7 #836

	---
	on: [push, pull_request]

	jobs:
	compile:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout sources
	uses: actions/checkout@v3

	- name: Setup Node
	uses: actions/setup-node@v3

	- name: Install dependencies
	run: npm install

	- name: Build
	run: npm run build

	- name: Lint
	run: npm run lint

	- name: Setup Git
	if: github.event_name == 'push' && github.ref_name == 'main'
	uses: fregante/setup-git-user@v1

	- name: Commit/push if there is a diff
	if: github.event_name == 'push' && github.ref_name == 'main'
	run: \|
	if ! git diff --exit-code; then
	git add .
	git commit -m "chore: compile and lint $GITHUB_SHA [ci skip]"
	git push origin main
	fi

Provide feedback