ci: add per-PR EN-Revision hash check #3

	# https://docs.github.com/en/actions
	# Checks that the EN-Revision comment of the .xml files changed in a PR points to
	# the latest doc-en commit for that file. Emits a ::error annotation and fails if
	# the hash is missing, wrong, from another file, or outdated.

	name: "Structure"

	on:
	pull_request:
	branches: ["master"]
	types: [opened, synchronize]

	permissions:
	contents: read

	jobs:
	revision:
	name: "Check EN-Revision"
	runs-on: ubuntu-latest
	steps:
	# The explicit ref takes the real head of the pull request, not the merge
	# commit actions/checkout builds by default: that one has master as its
	# second parent, so the diff below would also list every file landed on
	# master since the last push to the pull request.

	- name: "Checkout translation"
	uses: actions/checkout@v4
	with:
	ref: ${{ github.event.pull_request.head.sha }}
	fetch-depth: 0

	- name: "Checkout php/doc-en"
	uses: actions/checkout@v4
	with:
	path: en
	repository: php/doc-en
	fetch-depth: 0

	- name: "Check EN-Revision"
	run: \|
	BASE="${{ github.event.pull_request.base.sha }}"
	git fetch --no-tags --depth=1 origin "$BASE"
	fail=0
	while IFS= read -r f; do
	[ -f "$f" ] && [ -f "en/$f" ] \|\| continue
	declared=$(grep -oiP 'EN-Revision:\s*\K[0-9a-f]+' "$f" \| head -1 \|\| true)
	latest=$(git -C en log -1 --format=%H -- "$f")
	if [ "$declared" != "$latest" ]; then
	echo "::error file=$f::EN-Revision ${declared:-missing} != latest doc-en commit $latest"
	fail=1
	fi
	done < <(git diff --name-only "$BASE"...HEAD -- '*.xml')
	exit $fail

Navigation Menu