chore(deps-dev): bump eslint-plugin-github from 5.1.3 to 5.1.4 #732

	# `dist/index.js` is a special file in Actions.
	# When you reference an action with `uses:` in a workflow,
	# `index.js` is the code that will run.
	# For our project, we generate this file through a build process from other source files.
	# We need to make sure the checked-in `index.js` actually matches what we expect it to be.
	name: Check dist/

	on:
	push:
	branches:
	- main
	paths-ignore:
	- '**.md'
	pull_request:
	paths-ignore:
	- '**.md'
	workflow_dispatch:

	jobs:
	check-dist:
	if: github.actor != 'dependabot[bot]' # Dependabot commits are always followed by a dist folder commit
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4

	- name: Set Node.js 16.x
	uses: actions/setup-node@v4
	with:
	node-version: 16.x

	- name: Install dependencies
	run: npm ci

	- name: Rebuild the dist/ directory
	run: npm run dist

	- name: Compare the expected and actual dist/ directories
	run: \|
	if [ "$(git diff --ignore-space-at-eol dist/ \| wc -l)" -gt "0" ]; then
	echo "Detected uncommitted changes after build. See status below:"
	git diff -a --ignore-space-at-eol
	exit 1
	fi

Provide feedback