New Year's maintenance #586

	name: GitHub Actions linter
	on:
	pull_request:
	types: [opened,synchronize]
	# paths:
	# - '.github/workflows/**'

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

	jobs:
	actionlint:
	permissions:
	contents: read
	pull-requests: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 1
	- name: Configure git
	run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
	- uses: reviewdog/action-actionlint@v1
	with:
	fail_on_error: true
	filter_mode: diff_context
	level: error
	reporter: github-pr-check

Provide feedback