Basic documentation of overlay 18 (link shop) #1014

	name: Check Symbol-Header Synchronization

	on:
	pull_request:
	paths:
	- 'symbols/**.yml'
	- 'headers/functions/**.h'
	- 'headers/data/**.h'
	- 'headers/symbol_check.py'
	branches:
	- master
	workflow_call:
	inputs:
	allow-missing-symbol-headers:
	required: false
	type: boolean
	default: false

	env:
	PYTHON_TERM_COLOR: always

	jobs:
	sync-check:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- name: Symbol sync check
	run: make -C headers symbol-check
	header-sync-check:
	runs-on: ubuntu-latest
	if: '!inputs.allow-missing-symbol-headers'
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	fetch-depth: 2
	- name: Header sync check
	# HEAD is $GITHUB_SHA, which is the PR merge commit; see:
	# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request
	# This means that HEAD^ should be the target branch head, i.e., master
	run: tools/new_symbol_header_check.py --warn HEAD^
	# Ideally there would be an "allow-failure" option (continue-on-error isn't it); see:
	# https://github.com/actions/runner/issues/2347

Provide feedback