Fix out-of-date (wrt XSD) HTML pages #104

	name: CI

	on:
	push:
	branches: [ "v[0-9]*" ]
	pull_request:
	# NB: this is a glob filter, not a regex - `*` matches any chars (except `/`),
	# Hence it should match `v2.2`, `v2.3-wip`, etc.
	# See https://docs.github.com/en/actions/reference/workflows-and-actions/workflow-syntax#filter-pattern-cheat-sheet
	branches: [ "v[0-9]*" ]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	run:
	runs-on: ubuntu-latest

	steps:
	- run: echo "Job was automatically triggered by a ${{ github.event_name }} event for branch ${{ github.ref }}"

	- name: Check out repository code
	uses: actions/checkout@v3
	with:
	# https://github.com/marketplace/actions/add-commit#working-with-prs
	repository: ${{ github.event.pull_request.head.repo.full_name }}
	ref: ${{ github.event.pull_request.head.ref }}

	- name: Install xmllint and xsltproc
	run: \|
	sudo apt-get update
	sudo apt-get install libxml2-utils xsltproc

	- name: Validate structure and lint XSD and XML files
	run: ./.github/scripts/validate-and-lint.sh

	- name: Validate SIRI XML examples
	run: ./.github/scripts/validate-examples.sh

	- name: Generate documentation tables
	run: ./docs/generate-tables.sh

	- name: Commit changes
	uses: EndBug/add-and-commit@v9 # https://github.com/marketplace/actions/add-commit
	with:
	default_author: github_actions
	message: 'Lint and update documentation tables'

Provide feedback