Release v6.0.1 #1500

	name: Generated artifacts
	on:
	workflow_dispatch:
	push:
	branches:
	- master
	- staging
	tags:
	- "*"
	pull_request:
	paths:
	- "generator/**"
	- "spec/**"
	- "c/test/**"
	- "java/build.gradle"
	- "java/test/**"
	- "rust/sbp/tests/**"
	jobs:
	generation:
	name: Generated artifacts
	runs-on: ubuntu-20.04
	container:
	image: swiftnav/libsbp-build:2023-12-18
	options: --user root
	volumes:
	- ${{ github.workspace }}:/mnt/workspace
	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 0
	submodules: recursive

	- name: Set safe git directory
	run: \|
	git config --global --add safe.directory /__w/libsbp/libsbp

	- name: Generate tests
	run: \|
	rm c/test/auto_check_.c c/test/cpp/auto_check_.cc java/test/auto_check_.java rust/sbp/tests/integration/auto_check_.rs
	make gen-c gen-java gen-rust gen-jsonschema gen-haskell gen-python gen-javascript gen-protobuf
	make quicktype

	- name: Check generated tests are up to date
	run: \|
	git add c/test/ rust/sbp/tests/
	git diff --cached --exit-code
	git diff --exit-code

	- name: Generate javadocs for java
	run: make javadocs # emits java/build/docs/javadoc, not used

	- name: Generate pdf
	id: pdf
	run: \|
	make pdf
	cp docs/sbp.pdf .
	echo "::set-output name=artifact_name::sbp.pdf"

	- uses: actions/upload-artifact@v2
	with:
	name: ${{ steps.pdf.outputs.artifact_name }}
	path: ${{ steps.pdf.outputs.artifact_name }}

	# - name: Check generated pdf
	# run: \|
	# git diff --name-only --exit-code

Provide feedback