build

add sharelatex link #2

	# LaTeX document build workflow

	name: build

	# Controls when the workflow will run
	on:
	# Triggers the workflow on push events for all branches
	push:
	branches:
	- main
	- master
	pull_request:

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

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest
	# The docker image to use for the container
	container:
	image: ghcr.io/tudalgo/algotex:latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# 1. Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- name: Set up Git repository
	uses: actions/checkout@v3

	# Link texmf folder to the current texmf home (needed for this docker image)
	- name: Link texmf folder to the current texmf home
	run: \|
	ln -s /root/texmf $(kpsewhich -var-value=TEXMFHOME)
	texhash --verbose

	# 2. Build the document
	- name: "Build the document"
	run: \|
	CI_RUN=1 make -j $(nproc)
	mv build/*.pdf .

	# 3. Upload artifacts to GitHub
	- name: Upload artifacts to GitHub
	#if: ${{ !env.ACT }} # uncomment this if you want to test this action with act without passing --artifact-server-path
	uses: actions/upload-artifact@v3
	with:
	name: PDF
	path: "*.pdf"
	if-no-files-found: error # 'warn' or 'ignore' are also available, defaults to `warn`

Provide feedback