fix: shorten sync job name #164

	name: CI

	on:
	pull_request:
	branches: [main]

	jobs:
	main:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- uses: actions/setup-node@v4
	with:
	node-version-file: .node-version

	- run: npm ci
	- run: npm run format:check
	- run: npm run lint
	# FIXME: Re-enable this once tests can reliably run in GitHub Actions
	# - run: npm run test
	- run: npm run build

	- name: Check that dist/ is correctly generated
	run: git diff --quiet HEAD -- dist

	# NOTE: In GitHub repository settings, the "Require status checks to pass
	# before merging" branch protection rule ensures that commits are only merged
	# from branches where specific status checks have passed. These checks are
	# specified manually as a list of workflow job names. Thus we use this extra
	# job to signal whether all CI checks have passed.
	ci:
	name: CI status checks
	runs-on: ubuntu-latest
	needs: main
	if: always()
	steps:
	- name: Check whether all jobs pass
	run: echo '${{ toJson(needs) }}' \| jq -e 'all(.result == "success")'

Provide feedback