Merge branch 'main' into main #72

	name: check-links
	on:
	push:
	branches: [main]
	pull_request:

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref }}
	cancel-in-progress: true

	permissions:
	contents: read

	jobs:
	changedfiles:
	name: changed files
	runs-on: ubuntu-latest
	env:
	PR_HEAD: ${{ github.event.pull_request.head.sha }}
	outputs:
	md: ${{ steps.changes.outputs.md }}
	steps:
	- name: Checkout Repo
	uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
	with:
	fetch-depth: 0
	- name: Get changed files
	id: changes
	run: \|
	echo "md=$(git diff --name-only --diff-filter=ACMRTUXB $(git merge-base origin/main $PR_HEAD) $PR_HEAD \| grep .md$ \| xargs)" >> $GITHUB_OUTPUT
	check-links:
	runs-on: ubuntu-latest
	needs: changedfiles
	if: ${{needs.changedfiles.outputs.md}}
	steps:
	- name: Checkout Repo
	uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
	with:
	fetch-depth: 0

	- name: Install markdown-link-check
	run: npm install

	- name: Run markdown-link-check
	run: \|
	npx --no -- markdown-link-check \
	--verbose \
	--config .github/workflows/check_links_config.json \
	${{needs.changedfiles.outputs.md}} \
	\|\| { echo "Check that anchor links are lowercase"; exit 1; }

Provide feedback