[chore] Replace checkdoc by checkfile #13779

	name: check-links
	on:
	push:
	branches: [ main ]
	paths-ignore:
	- 'cmd/builder/**'
	pull_request:
	paths-ignore:
	- 'cmd/builder/**'

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

	jobs:
	changedfiles:
	name: changed files
	runs-on: ubuntu-latest
	outputs:
	md: ${{ steps.changes.outputs.md }}
	steps:
	- name: Checkout Repo
	uses: actions/checkout@v3
	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 ${{ github.event.pull_request.head.sha }}) ${{ github.event.pull_request.head.sha }} \| 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@v3
	with:
	fetch-depth: 0

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

	- name: Run markdown-link-check
	run: \|
	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