Add a development banner to generated development specification #1233

	name: Tests

	on:
	pull_request:
	push:
	branches:
	- master
	- develop

	jobs:

	pre-commit:
	name: Pre-commit checks
	runs-on: ubuntu-latest
	timeout-minutes: 5

	steps:
	- uses: actions/checkout@v2
	with:
	submodules: 'true'
	- name: Set up Python 3.8
	uses: actions/setup-python@v1
	with:
	python-version: 3.8
	- name: Install dependencies
	run: pip install pre-commit==2.8.2
	- name: Run pre-commit tests
	run: pre-commit run --all-files

	audit-grammar:
	name: Audit the grammar files
	runs-on: ubuntu-latest
	timeout-minutes: 5
	steps:
	- uses: actions/checkout@v2
	with:
	submodules: 'true'
	- name: Set up JDK
	uses: actions/setup-java@v1
	with:
	java-version: 1.8
	- run: make audit_grammars

	audit-authors:
	name: Audit the AUTHORS list
	runs-on: ubuntu-latest
	timeout-minutes: 5
	steps:
	- uses: actions/checkout@v2
	with:
	submodules: 'true'
	- run: make audit_authors

	audit-spelling:
	name: Audit spelling in the specification
	runs-on: ubuntu-latest
	timeout-minutes: 5
	steps:
	- uses: actions/checkout@v2
	with:
	submodules: 'true'
	- run: make audit_spelling

Provide feedback