chore: configure gitpod #64

	---
	name: build_document

	# yamllint disable-line rule:truthy
	on:
	workflow_dispatch:
	push:
	paths-ignore:
	- 'generated/**'

	jobs:
	build_document:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	token: ${{secrets.PUSH_TOKEN}}
	- name: Install dependencies
	run: \|
	sudo apt-get install texlive-latex-extra
	- name: run build script
	working-directory: ${{github.workspace}}
	shell: bash
	run: ./publish.sh

	- name: status at ${{github.ref}}
	run: git status

	- name: commit and push result
	working-directory: ${{github.workspace}}
	shell: bash
	run: \|
	git config --global user.name 'build_document_action'
	git config --global user.email 'vil02@users.noreply.github.com'
	git add "$(./get_output_folder.sh)"
	git commit -m "Automated document generation"
	git push
	...

Provide feedback