make submitted proposal subtype of observing proposal #4

	# This file generated from a template file maintained in the ivoatex repository.
	# To create and install it into a project repository, do:
	# make github-preview
	# git commit
	# git push
	#
	name: Check the IVOA document

	env:
	doc_name: ProposalDM

	on:
	pull_request:
	types: [opened, synchronize, reopened]

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:

	- name: Checkout the repository
	uses: actions/checkout@v4
	with:
	submodules: true

	- name: Set up JDK 17
	uses: actions/setup-java@v4
	with:
	java-version: '17'
	distribution: 'adopt'

	- name: Setup dependencies
	run: \|
	sudo apt update
	sudo apt install texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended xsltproc latexmk cm-super inkscape graphviz
	sudo snap install pdftk

	- name: Build the document
	run: \|
	./gradlew vodmlDoc
	make -C std

	- name: Check the output
	run: \|
	test -f std/${{ env.doc_name }}.pdf
	test -f std/${{ env.doc_name }}.bbl

	- name: Keep the PDF artefact
	uses: actions/upload-artifact@v1
	with:
	name: PDF Preview
	path: std/${{ env.doc_name }}.pdf

Provide feedback