[Infrastructure] Avoid polluting the working set of files with changes after build #8187

	name: Markdownlint

	permissions:
	contents: read

	# run even on changes without markdown changes, so that we can
	# make it in GitHub a required check for PR's
	on:
	pull_request:
	branches:
	- main

	jobs:
	lint:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- name: Use Node.js
	uses: actions/setup-node@v4
	with:
	node-version: 16.x
	- name: Run Markdownlint
	run: \|
	echo "::add-matcher::.github/workflows/markdownlint-problem-matcher.json"
	npm i -g markdownlint-cli
	markdownlint "docs/*/.md"

Provide feedback