Merge remote-tracking branch 'upstream/develop' into develop #17

	# This is a basic workflow to help you get started with Actions

	name: Code style check

	# Controls when the workflow will run
	on:
	# Triggers the workflow on push or pull request events but only for the develop branch
	push:
	branches: [develop]
	pull_request_target:
	types: [synchronize, opened]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	permissions:
	checks: write # Needed to write annotations

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	init_style_jobs:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	- name: Fetch repo
	uses: actions/checkout@v4
	with:
	ref: ${{ github.event.pull_request.head.sha }}

	- name: Install node
	uses: actions/setup-node@v3
	with:
	node-version: 20

	- name: Install dependencies
	run: npm ci

	- name: Run linters
	uses: wearerequired/lint-action@v2
	with:
	eslint: true
	prettier: true
	eslint_dir: src
	eslint_extensions: ts,vue,json

Provide feedback